|
|
| |
2025 SAT conference, August 10–15 2024, Glasgow, UK |
|
|
| Purpose |
| |
The aim of the 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.
|
|
|
|
.jpg)
