SAT 2003 - Organization |
Back |
Organizer |
Enrico Giunchiglia Università di Genova giunchiglia@unige.it |
|
Organizing Committee |
John Franco University of Cincinnati franco@gauss.ececs.uc.edu |
Enrico Giunchiglia Università di Genova giunchiglia@unige.it |
| Henry Kautz University of Washington kautz@cs.washington.edu |
Hans Kleine Büning Universität Paderborn kbcsl@upb.de |
|
| Hans van Maaren University of Delft h.vanmaaren@its.tudelft.nl |
Bart Selman Cornell University selman@cs.cornell.edu |
|
| Ewald Speckenmayer Universität Köln esp@informatik.uni-koeln.de |
||
SAT Solvers Competition |
Daniel Le Berre Université d'Artois leberre@cril.univ-artois.fr |
Laurent Simon Université Paris-Sud laurent.simon@lri.fr |
QBF Solvers
|
Daniel Le Berre Université d'Artois leberre@cril.univ-artois.fr |
Laurent Simon Université Paris-Sud laurent.simon@lri.fr |
| Armando Tacchella Università di Genova tac@dist.unige.it |
||
Local Arrangements |
Roberta Ferrara Università di Genova roberta@mrg.dist.unige.it |
Armando Tacchella Università di Genova tac@dist.unige.it |
Back |