SAT 2004

The Seventh International Conference on
Theory and Applications of Satisfiability Testing

10-13 May 2004
Vancouver, BC, Canada


Latest news:
 
2004/09/28 The final decisions regarding the submissions for the SAT 2004 LNCS Volume have now been made. A list of accepted papers is available here, and official notifications and reviews will be sent to all authors within the next few days.
ARCHIVE Check the news archive for previous announcements
 
[General Information] · [Important Dates] · [Program Committee] [Paper / Poster Submission] [Registration] [Programme] [Sponsors]

General Information

The International Conference on Theory and Applications of Satisfiability Testing is the primary annual meeting for researchers studying the propositional satisfiability problem (SAT), a prominent problem in both theoretical and applied computer science. SAT lies at the heart of the most important open problem in complexity theory (P vs NP), and underlies many applications in artificial intelligence, operations research, and electronic design engineering.

Located in spectacular Vancouver, Canada, SAT 2004 will feature technical paper and poster sessions, invited talks, as well as the 2004 SAT Solver Competition and the 2004 QBF Solver Evaluation. The primary objective of the conferences is to bring together researchers from various areas and communities, including artificial intelligence, electronic design engineering, operations research and theoretical computer science to promote collaboration and the communication of new theoretical and practical results in SAT-related research and its industrial applications.

SAT 2004 continues a series of meetings that started with the Workshops on Satisfiability held in Siena, Italy (1996), Paderborn, Germany (1998), and Renesse, The Netherlands (2000); the Workshop on Theory and Applications of Satisfiability Testing held in Boston, USA (2001), the Symposium on Theory and Applications of Satisfiability Testing held in Cincinnati, USA (2002), and the Sixth International Conference on Theory and Applications of Satisfiability Testing held in Santa Margherita Ligure, Italy (2003).

Important Dates

Author Registration (paper, solver, benchmark) February 10 (extended)
Paper Submission February 20 (extended)
SAT Solver and Benchmark Submission February 26 (extended x2)
QBF Solver and Benchmark Submission February 28 (extended)
Notification of Paper Acceptance March 19
Early Registration Deadline March 24
Camera Ready Deadline April 12
SAT 2004 Conference: 10-13 May 2004 (Renaissance Harbourside Hotel, Vancouver, BC, Canada)

Program Committee

A full list of the program committee members can be found here.

Paper / Poster Submission

Call for Papers: [Text] [Postscript] [PDF]

The deadline for submitting papers / posters has passed.

Registration

Online registration for SAT 2004 is now closed.

Note:

Hotel information (Renaissance hotel):

Travel Information to the Renaissance Vancouver Hotel Harbourside

Programme

Conference programme (final version), includes links to electronic versions of all papers.

Programme Overview (subject to minor adjustments)

List of accepted papers (full papers and posters/short papers)

Inivited talks

Sponsors

  • Pacific Institute for the Mathematical Sciences (PIMS)
  • Intel
  • Intelligent Information Systems Institute (IISI)
  • CoLogNet
  • Simon Fraser University (SFU)
  • The University of British Columbia (UBC)

Last update: 04/05/16 (hh)