Conference Chairs
Fahiem Bacchus, U of Toronto, Canada
Toby Walsh,
UNSW and NICTA, Australia

SAT Solver Competition Chairs
Daniel Le Berre, U d'Artois, France
Laurent Simon ,  U Paris-Sud,

QBF Solver Evaluation Chairs
Massimo Narizzano, U di Genova, Italy
Armando Tacchella, U
di Genova, Italy

Program Committee
Dimitris Achlioptas, Microsoft Research, USA
Fadi Aloul, U of Michigan, USA
Clark Barrett, NYU,
Paul Beame, U of
Washington, USA
Armin Biere, ETH Zurich
, Switzerland
Ronen Brafman, Ben Gurion U, Israel
Alessandro Cimatti, IRST, Italy
Edmund Clarke, CMU, USA
Adnan Darwiche, UCLA, USA
Alvaro del Val, U Auto. de Madrid, Spain
Enrico Giunchiglia, U di Genova, Italy
Eugene Goldberg, Cadence, USA
Ziyad Hanna, Intel Corporation, USA
Edward Hirsch, Steklov Inst. of Math., Russia
Henry Kautz, U of Washington, USA
Eleftherios Kirousis, U of Patras, Greece
Hans Kleine BŁning, U of Paderborn,Germany
Daniel Le Berre, U d'Artois, France
Chu-Min Li, U de Picardie, France
Fangzhen Lin, U of Sci. & Tech., Hong Kong
Sharad Malik, Princeton U, USA
Joao Marques-Silva, U Lisboa, Portugal
Ilkka Niemela, Helsinki U of Tech., Finland
Toniann Pitassi, U of Toronto, Canada
Steve Prestwich, U College Cork, Ireland
Jussi Rintanen, U Freiburg, Germany
Lakhdar Sais, CNRS, U d'Artois, France
Karem Sakallah, U of Michigan, USA
Laurent Simon, U Paris-Sud, France
Stefan Szeider, U of Durham, UK
Mirek Truszczynski, U of Kentucky, USA
Allen Van Gelder, UC Santa Cruz, USA
Hans van Maaren, Delft U of Tech., Netherlands
Lintao Zhang, Microsoft Research, USA

Important Dates

  February 13, 2005: Electronic registration..

  February 20, 2005: Paper Submission.

 February 23, 2005: SAT and QBF solver & benchmark Submission.

 April 8, 2005: Author Notification.

 April 22, 2005, Camera Ready Copy due.


Further Information

SAT 2005

Eighth International Conference on
 Theory and Applications of Satisfiability Testing

2005 SAT Solver Competition
2005 QBF Solver Evaluation


June 19th-23rd 2005

University of St. Andrews Conference Centre

St. Andrews, Scotland

Call for Papers


The International Conference on Theory and Applications of Satisfiability Testing is the primary annual meeting for researchers studying the propositional satisfiability problem (SAT).  Located in the historic town of St Andrews, SAT 2005 will feature technical paper and poster sessions, invited talks, and the annual SAT Solver Competition and QBF Solver Evaluation.

We welcome submissions on SAT from any discipline with an interest in the problem, including theoretical, experimental and applied work. Topics of interest include, but are not limited to: Proof Systems and Proof Complexity, Search Algorithms and Heuristics, Analysis of Algorithms, Theories beyond the propositional, Hard Instances, Problem Encodings, Industrial Applications, Solvers and other tools, Case Studies and Empirical results.

Accepted papers will be collected together and distributed at the conference in a LNCS volume. All submissions must be 15 pages or less in the Springer-Verlag LNCS style ( All appendices, tables, figures and the bibliography must fit into the 15 page limit.  Submissions deviating from this requirement may be rejected without review.  Submission will be in electronic form as PDF files, and authors should refer to the conference web site ( for details. Authors are asked to register their papers on the web site one week before the submission deadline. All submissions will be reviewed by three members of the program committee, and may be accepted for either a paper or poster presentation.

Associated with the conference are the 2005 SAT Solver Competition and the 2005 QBF Solver Evaluation.  The SAT competition and QBF evaluation organizers welcome submissions of for both SAT and QBF, benchmark instances, as well as SAT and QBF solvers. For details see the 2005 SAT Solver Competition web page,, and the 2005 QBF Solver Evaluation web page