SAT 2005
       Special issue of the Journal of Automated Reasoning
         Guest Editors: Enrico Giunchiglia and Toby Walsh
               http://www.4c.ucc.ie/~tw/sat2005.txt

In the last ten years, much progress has been made in our ability to
solve problems in propositional satisfiability (or SAT) and related
areas. In 2000, a very successful special issue of the Journal of
Automated Reasoning and an accompanying book documented the progress
made up to that time. In the subsequent five years, even more dramatic
progress has been made. Systematic methods can now routinely solve
verification problems with thousands or tens of thousanss of variables,
whilst local search methods can solve hard random 3SAT problems with
millions of variables. In light of this, we are planning another special
issue of the Journal of Automated Reasoning, SAT 2005, on the state of
the art for research into satisfiability in the year 2005. In addition
to the special issue, the accepted papers will be published as a book
which will be included as an optional extra in the registration package
for the SAT-2005 conference.

Topics

We will consider empirical, theoretical or application oriented papers
about SAT. Possible topics include complete and local search algorithms,
applications (e.g. verification, finite mathematics, ...), extensions
(e.g. non-clausal SAT, modal SAT, QBF, ...) and theory (e.g. worst-case
analyses, random SAT, ...).  We especially welcome submissions which
document the implementation and other techniques developed in the last
five years that have resulted in major improvements in the performance
of SAT algorithms.

Submission

Please email a postscript or PDF file to Enrico Giunchiglia
(giunchiglia@unige.it), and cc: a copy to Toby Walsh (tw@4c.ucc.ie).
All submissions will be acknowledged.

Timetable

To ensure topicality of the special issue, submissions, reviewing and
revision of papers will be held to very fixed and tight deadlines.

Submission deadline           1 Nov 2004
Initial reviews returned      1 Feb 2005
Revised papers resubmitted    1 Mar 2005
Final decision                1 Apr 2005
LaTeX and PS files to Kluwer  1 May 2005