SAT 2003 - Program Committee
Back
Dimitris Achlioptas
, Microsoft Research
Fadi Aloul
, University of Michigan
Fahiem Bacchus
, University of Toronto
Armin Biere
, ETH Zurich
Nadia Creignou
, Université de la Méditerranée, Marseille
Olivier Dubois Université Paris 6
Uwe Egly
, Technische Universität Wien
John Franco
, University of Cincinnati
Ian Gent
, St. Andrews University
Carla Gomez
, Cornell University
Edward A. Hirsch
, Steklov Institute of Mathematics at St. Petersburg
Holger Hoos
, University of British Columbia
Henry Kautz
, University of Washington
Hans Kleine Büning
, Universität Paderborn
Oliver Kullmann
, University of Wales Swansea
Daniel Le Berre
, CRIL, Université d'Artois
João Marques-Silva
, Instituto Superior Técnico, Univ. Técnica de Lisboa
Hans van Maaren
, University of Delft
Remi Monasson
, Laboratoire de Physique Théorique de l'ENS
Daniele Pretolani
, Universita' di Camerino
Paul W. Purdom
, Indiana University
Jussi Rintanen
, Freiburg University
Bart Selman
, Cornell University
Malik Sharad
, Princeton University
Laurent Simon
, LRI Laboratory, Université Paris-Sud
Ewald Speckenmeyer
, Universität Köln
Armando Tacchella
- Università di Genova, DIST
Allen Van Gelder
, UC Santa Cruz
Miroslav N. Velev
, Carnegie Mellon University
Toby Walsh
, University of York
Back