SAT 2004

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

The deadline for submitting papers / posters has passed.

Registration

Note:

• 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. To use the system, you have to have Javascript 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 Hotel Harbourside

• 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 http://www.yvrairporter.com/
• Taxi: should cost approximately $30, plus tip (usually 5-10% in Canada)
• 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.
• Driving: http://marriott.com/property/drivingDirections.mi?marshaCode=YVRRD
  (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.

Programme Overview (subject to minor adjustments)

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

Inivited talks

• Stephen Cook, University of Toronto
• Ken McMillan, Cadence Berkely Labs

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)