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.