SAT 2001:
Workshop on Theory and Applications
of Satisfiability Testing

June 14-15, 2001
Boston University

affiliated with LICS 20001

Location of Workshop

Boston University 
School of Management, Room 428
595 Commonwealth Avenue
Boston, MA

"T" stop: BU West.

For more travel information and a local map see the  LICS website at BU (

Online Proceedings

Now available for free online at
After the workshop the proceedings abstracts will be freely available, and full-text articles available to subscribers to Elservier publications, by going to
and clicking on the link for Volume 9.
Hardcopy proceedings will be available at the workshop thanks to support from

Information for Speakers

Information for authors.

Schedule of talks.

Workshop Registration

To register for the workshop follow links from the LICS-2001 home page. Note that registration for the workshop is $50. You do not have to register for the LICS conference. Please do not register unless you are presenting at the workshop or have received permission to attend from the organizers.

Workshop Description

Great strides have been made in recent years in the theory and practice of propositional satisfiability testing. On the theoretical side, a wide range of mathematical approaches -- ranging from classical combinatorial analysis to arguments based on statistical physics -- have increased our understanding of problem hardness. On the practical side, new systematic and non-systematic search algorithms have increased the size of problems that can be solved by several orders of magnitude. As a result there is an growing interest in using SAT as a practical tool for solving real-world problems, as well as using the insights gained from SAT research to create problem-specific solutions.

The purpose of this workshop is to bring together researchers from different communities -- including theory, artificial intelligence, verification, mathematical theorem-proving, and operations research -- in order to share ideas and increase synergy between theoretical and empirical work.

Invited Speakers

Program Committee

Important Dates

Submission of papers and/or requests to participate: March 15, 2001.
Decisions returned: April 15, 2001.
Workshop: June 14 - 15, 2001.

Paper Guidelines

Papers should be limited to 8 pages (any format). IMPORTANT: European authors should format their paper for "letter" size paper (8.5 inch by 11 inch) paper, not the default A4 size. In Latex this can be done by
Papers should be submitted electronically by March 15, 2000. If the paper will be presented at the main LICS conference or any other conference paper indicate this clearly on both the email and first page of the paper.

The paper submission procedure is as follows:

1. Send an email message to <> with the following information:

paper title:
first author name:
first author email:
first author telephone:
first author home page:
names of coauthors:
brief abstract:
is this paper also at LICS?:
file name:
The last is the name of the file containing your paper. It should be your first and last names separated by a dash, e.g.
The file may be in postscript .ps or PDF .pdf formats only.

2. FTP the paper itself as follows: From a command prompt, type

(login:) anonymous
cd sat2001/incoming
If you wish to participate in the workshop but not submit a paper, please send an email to <> by March 15 with the contact information described above.

In order to increase time for free discussion, some authors may be asked to give short (10 minute) overviews of their work rather than a full talk. All accepted papers will appear in an online set of working notes.

More Information

The work immediately precedes the Sixteenth Annual IEEE Symposium on Logic in Computer Science (LICS 2001), June 16 - 19, 2001, at Boston University. For information on travel and housing see the local conference website at Boston University:
For more information about the workshop see the workshop web page or email Henry Kautz <>.

Plain text version of call for papers.