SAT 2004

The Seventh International Conference on
Theory and Applications of Satisfiability Testing

10-13 May 2004
Vancouver, BC, Canada


Program Committee

Dimitris Achlioptas
Microsoft Research

Fahiem Bacchus
University of Toronto

Paul Beame
University of Washington

Armin Biere
ETH Zürich

Olivier Dubois
Université Paris 6

John Franco
University of Cincinnati

Ian Gent
St. Andrews University

Enrico Giunchiglia
Universitŕ di Genova

Carla Gomes
Cornell University

Ziyad Hanna
Intel Corporation

Edward Hirsch
Steklov Institute of Mathematics at St. Petersburg

Holger Hoos (Co-chair)
University of British Columbia

Henry Kautz
University of Washington

Eleftherios Kirousis
University of Patras

Hans Kleine Büning
University of Paderborn

Daniel Le Berre
Université d'Artois

Chu-Min Li
Université de Picardie Jules Verne

Sharad Malik
Princeton University

David Mitchell(Co-chair)
Simon Fraser University

Rémi Monasson
Ecole Normale Supérieure

Bart Selman
Cornell University

Laurent Simon
Université Paris-Sud

Ewald Speckenmeyer
Universität zu Köln

Allen Van Gelder
University of California at Santa Cruz

Hans van Maaren
Delft University of Technology

Toby Walsh
University College Cork

Miroslav Velev
Carnegie Mellon University