SATISFIABILITY - Key Persons

Allen Van Gelder

Job Titles:
  • Member of the Program Committee

Armin Biere

Job Titles:
  • Member of the Program Committee

Bart Selman

Job Titles:
  • Member of the Program Committee

Carla Gomes

Job Titles:
  • Member of the Program Committee

Chu-Min Li

Job Titles:
  • Member of the Program Committee

Daniel Le Berre

Job Titles:
  • Member of the Program Committee

David Mitchell

Job Titles:
  • Member of the Program Committee

Dimitris Achlioptas

Job Titles:
  • Member of the Program Committee
  • Microsoft Research

Edward Hirsch

Job Titles:
  • Member of the Program Committee

Eleftherios Kirousis

Job Titles:
  • Member of the Program Committee

Enrico Giunchiglia

Job Titles:
  • Member of the Program Committee

ETH Zürich

Job Titles:
  • Member of the Program Committee

Fahiem Bacchus

Job Titles:
  • Member of the Program Committee

Hans Kleine Büning

Job Titles:
  • Member of the Program Committee

Hans van Maaren

Job Titles:
  • Member of the Program Committee
  • Delft University of Technology

Henry Kautz

Job Titles:
  • Member of the Program Committee

Holger Hoos

Job Titles:
  • Member of the Program Committee
  • Co - Chair ) University of British Columbia

Ian Gent

Job Titles:
  • Member of the Program Committee

John Franco

Job Titles:
  • Member of the Program Committee

Laurent Simon

Job Titles:
  • Member of the Program Committee

Miroslav Velev

Job Titles:
  • Member of the Program Committee

Olivier Dubois

Job Titles:
  • Member of the Program Committee

Paul Beame

Job Titles:
  • Member of the Program Committee

Rémi Monasson

Job Titles:
  • Member of the Program Committee

Sharad Malik

Job Titles:
  • Member of the Program Committee

Toby Walsh

Job Titles:
  • Member of the Program Committee

Università di Genova

Job Titles:
  • Member of the Program Committee

Ziyad Hanna

Job Titles:
  • Member of the Program Committee