|
|
| Group Photos |
| |
- 2011 SAT conference, Ann Arbor, Michigan, USA |
|
|
| |
- 2009 SAT conference, Swansea, Wales, UK |
|
|
|
| |
| Purpose |
| |
The aim of the Association is to promote science and research, in
particular with regard to the Satisfiability Problem. This is
realized by promoting the series of 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, and representing the SAT
community in other scientific forums. The association also oversees
the selection of meeting places and chairpersons for the conferences,
|
|
|
|
|
|
