SAT 2017 is also made possible by our generous sponsors (below). Contact us if you intend to become one.
The Association for Constraint Programming aims at promoting constraint programming in every aspect of the scientific world, by encouraging its theoretical and practical developments, its teachning in the academic institutions, its adoption in the industrial world, and its use in the the application fields.
The Association for Logic Programming was founded in 1986, with the mission to contribute to the development of Logic Programming, relate it to other formal and also to humanistic sciences, and to promote its uses in academia and industry all over the world.
CSIRO Data61 is Australia’s leading digital research powerhouse, offering the research capabilities, IP and collaboration programs to unleash the country’s digital and data-driven potential, with a global context. By driving collaboration across industry, academia, government and the startup space, Data61 is able to help existing industries transform, and act as a catalyst in the creation of new technology-based industries.
Monash University was established in Melbourne, Australia in 1958. We are a youthful organisation, enthusiastic, optimistic and accessible. We believe quality education and research can change the world for the better. Our researchers make highly significant contributions that bring real and positive change to the lives of people all over the world.
The aim of SAT Association is to promote science and research, in particular with regard to the Satisfiability Problem and related areas such as Formal Verification and other applications of SAT, Proof Complexity, Serial and Parallel SAT Solvers, Satisfiability Modulo Theories, Quantified Boolean Formulas, SAT Algorithms, MAX-SAT, MUS Extraction, and SAT Encodings. This is realized by overseeing the organization and location of the series of annual conferences known as the International Conference on the Theory and Applications of Satisfiability Testing, promoting research in the design and analysis of algorithms for Satisfiability that should significantly impact one or more practical applications, publishing the online version of the Journal on Satisfiability, Boolean Modeling, and Computation (known as JSAT), and representing the SAT community in other scientific forums.
Springer Publishing is an American publishing company of academic journals and books, focusing on the fields of nursing, gerontology, psychology, social work, counseling, public health, and rehabilitation (neuropsychology). It was established in 1950 by Bernhard Springer, a great grandson of Julius Springer.
Google’s mission is to organise the world’s information and make it universally accessible and useful. The company has packed a lot into a relatively young life. Since Google was founded in 1998, they’ve grown to serve millions of people around the world.
CompSustNet is a research network sponsored by the National Science Foundation through an Expeditions in Computing award. Twelve U.S. academic institutions led by Cornell University, along with many national and international collaborators, are exploring new research directions in computational sustainability. Interdisciplinary, multi-investigator research teams are focusing on cross-cutting computational topics such as optimization, dynamical models, big data, machine learning, and citizen science. These methods are being applied to sustainability challenges including conservation, poverty mitigation and renewable energy.
Cosling is a service company in IT with a unique expertise in constraint programming. We develop software applications for process optimisation and configuration, tailored to your business needs. We service from the design of mathematical models to the implementation of application servers with intuitive graphical user interfaces, in order to get a turnkey solution for decision support.