The Seventh International Conference on
Theory and Applications of Satisfiability Testing
10-13 May 2004
Vancouver, BC, Canada
||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
||Check the news archive for previous
[General Information] · [Important Dates] · [Program
/ Poster Submission]
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
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
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).
Author Registration (paper, solver, benchmark)
February 10 (extended)
February 20 (extended)
SAT Solver and Benchmark Submission
February 26 (extended x2)
QBF Solver and Benchmark Submission
February 28 (extended)
Notification of Paper Acceptance
Early Registration Deadline
Camera Ready Deadline
SAT 2004 Conference:
10-13 May 2004
(Renaissance Harbourside Hotel,
Vancouver, BC, Canada)
A full list of the program committee members can be found here.
Paper / Poster Submission
Call for Papers:
The deadline for
submitting papers / posters has passed.
Online registration for SAT 2004 is now closed.
Hotel information (Renaissance hotel):
- The deadline for early registration is 24 March, 2004.
(Because of our contract with the conference hotel, this is a hard
deadline that can be moved under no circumstances.)
- Please make your booking with the conference hotel
at the same time as registering for the conference.
- If you use the hotel's online reservation system,
you need to specify the group code sfusfua
to get the conference room rate of 150 CAD/night.
enabled in your browser.
- Further details on the hotel and travel information are available
from the registration page.
- The room rate of 150 CAD/night is available starting Thursday May 6,
and up to checkout on Monday, May 17.
- The room block is only held until April 8 -- after that rooms
are not guaranteed to be available.
This link lets you reserve without typing in the group code.
- Students or others on a budjet can share more than two to a room (they
have rooms with two beds plus a sofa-bed): 3 people for 180 CAD/night;
4 people for 210 CAD/night.
- Children under 18 staying in the same room as their parents stay free.
- Reservations must be guaranteed with a credit card.
Travel Information to the Renaissance Vancouver
- Airport Shuttle: The Airporter is a $12 one-way, with
scheduled drop-offs/pick-ups at the Renaissance Vancouver Hotel Harbourside,
running approximately every 15 mins. Note that the airporter supports
many hotels, not just the Renaissance. Further information at
- Taxi: should cost approximately $30, plus tip (usually 5-10% in
- Limosine: Airport Limo Gold,
http://www.limojetgold.com about $39 plus taxes.
- City Bus: $2, but expect it to take an hour. You need to get a
transfer when you get on the bus. From the airport terminal, level 1, take the
"424 AIRPORT STATION", to AIRPORT STN BAY 4. Transfer to BAY 1, and take "98
BURRARD STN" (SIDE SIGN "98 B-LINE"). Get off downtown at Cordova and
Granville (ask the driver!). Transfer to the WATERFRONT SKYTRAIN and take the
train with platform sign "MILLENNIUM LINE TO COMMERCIAL DR VIA COLUMBIA". Get
off at BURRARD SKYTRAIN station.
(For a map from the airport, type in the Vancouver airport code, YVR. Read the
map, not the written directions!)
Conference programme (final version),
includes links to electronic versions of all papers.
(subject to minor adjustments)
List of accepted papers
(full papers and posters/short papers)
- Pacific Institute for the Mathematical Sciences (PIMS)
- Intelligent Information Systems Institute (IISI)
- Simon Fraser University (SFU)
- The University of British Columbia (UBC)
Last update: 04/05/16 (hh)