The conference follows the Workshops on Satisfiability held in Siena
(1996), Paderborn (1998), and Renesse (2000), the Workshop on Theory and Applications of Satisfiability Testing held in Boston (2001) and the
Symposium on Theory and Applications of Satisfiability Testing held in Cincinnati (2002).
The purpose of this conference is to bring together researchers from
different communities -- including theoretical computer science, artificial intelligence, verification, mathematical theorem-proving,
electrical engineering, and operations research -- in order to share ideas and increase synergy between theoretical and empirical
work.
Important Dates
Attention to
all SAT people: the deadline for registering is expired and the
on-line registration is closed. Please send us an email
in case you need further information.
|
Extended abstracts submission: |
February
8, 2003 |
Notification of acceptance (updated!): |
March 17, 2003 |
Final version due (updated!): |
March 21, 2003 |
SAT Solvers and Benchmarks submission: |
February 14, 2003 |
Results of the SAT Competition: |
May 5-8, 2003 |
QBF Solvers and Benchmarks submission (updated!): |
March 7, 2003 |
Results of the QBF Solvers Evaluation: |
May 5-8, 2003 |