Board


Editor in Chief
Oliver Kullmann

Associate Editors
John Franco    Marijn Heule    Roberto Sebastiani

Editors

Name                       Affiliation                          
Dimitris Achlioptas University of California at Santa Cruz
Fahiem Bacchus University of Toronto
Daniel Le Berre Université d'Artois
Armin Biere Johannes Kepler University Linz
Endre Boros Rutgers University
Edmund Clarke Carnegie Mellon University
Nadia Creignou Université de la Méditerranée (Marseille)
Olivier Dubois Université de Paris 6
John Franco University of Cincinnati
Nicola Galesi "La Sapienza" University in Rome
Enrico Giunchiglia Università di Genova
Andreas Goerdt Technische Hochschule Chemnitz
Carla Gomes Cornell University
Marijn Heule Delft University of Technology
Edward A. Hirsch Steklov Institute of Mathematics at St. Petersburg
Holger H. Hoos University of British Columbia
Kazuo Iwama Kyoto University
Henry Kautz

University of Washington

Lefteris Kirousis University of Patras
Hans Kleine Büning Universität Paderborn
Oliver Kullmann University of Wales Swansea
Chu Min Li University of Picardie Jules Verne
Hans van Maaren Delft University of Technology
Sharad Malik Princeton University
Joao Marques-Silva University of Southampton
David Mitchell Simon Fraser University
Remi Monasson Laboratoire de Physique Thèorique de l'Ens
Paul Purdom Indiana University
Steve Prestwich University College Cork
Daniele Pretolani Università di Modena e Reggio Emilia
Karem Sakallah University of Michigan
Uwe Schöning Universität Ulm
Roberto Sebastiani Università di Trento
Bart Selman Cornell University
Laurent Simon LRI, University  Paris-Sud || Orsay
Ewald Speckenmeyer Universität Koln
Allen Van Gelder University of California at Santa Cruz
Miroslav Velev Aries Design Automation, USA
Hantao Zhang University of Iowa
Xishun Zhao Sun Yat-Sen University Guangzhou