Editorial Team

Editors

  1. John Franco, University of Cincinnati, United States
  2. Roberto Sebastiani, University of Trento, Italy
  3. Marijn Heule, University of Texas, Austin, United States
  4. Daniel LeBerre, CRIL, Université d'Artois, France
  5. Hans Kleine Büning, University of Paderborn, Germany
  6. Alessandro Cimatti, Fondazione Bruno Kessler, Trento, Italy
  7. Stefan Szeider, Vienna University of Technology, Austria
  8. Oliver Kullmann, Swansea University, United Kingdom
  9. Toby Walsh, NICTA, New South Wales, Australia
  10. Faheim Bacchus, University of Toronto, Canada
  11. Joao Marques-Silva, University College, Dublin, Ireland
  12. Karem Sakallah, University of Michigan, United States
  13. Enrico Giunchiglia, DIST, Università di Genova, Italy
  14. Dimitris Achlioptas, University of California, Santa Cruz, United States
  15. Armin Biere, Johannes Kepler University, Austria
  16. Endre Boros, Rutgers, the State University of New Jersey, United States
  17. Nadia Creignou, Laboratoire d’Informatique Fondamentale de Marseille (LIF), France
  18. Olivier Dubois, Université Pierre & Marie Curie, France
  19. Nicola Galesi, University of Rome, La Sapienza, Italy
  20. Andreas Goerdt, Technische Universität Chemnitz
  21. Carla Gomes, Cornell University, United States
  22. Holger Hoos, University of British Columbia, Canada
  23. Kazuo Iwama, Kyoto University, Japan
  24. Henry Kautz, University of Rochester, United States
  25. Lefteris Kirousis, University of Athens, Greece
  26. Chu Min Li, Université de Picardie Jules Verne, France
  27. Hans van Maaren, Delft University, Emeritus, Netherlands
  28. Sharad Malik, Princeton University, United States
  29. David Mitchell, Simon Fraser University, Canada
  30. Remi Monasson, Laboratoire de Physique Théorique de l'ENS, France
  31. Paul Purdom, Indiana University, United States
  32. Steven Prestwich, University College Cork, Ireland
  33. Daniele Pretolani, Università degli Studi di Modena e Reggio Emilia, Italy
  34. Uwe Schöning, Universität Ulm, Germany
  35. Bart Selman, Cornell University, United States
  36. Laurent Simon, University of Bordeaux, France
  37. Ewald Speckenmeyer, Universität zu Köln, Germany
  38. Allen Van Gelder, University of California, Santa Cruz, United States
  39. Miroslav Velev, Aires Design Automation, United States
  40. Hantao Zhang, University of Iowa, United States
  41. Xishun Zhao, Sun-Yat Sen University, China
  42. Ofer Strichman, Technion, Haifa, Israel
  43. Olaf Beyersdorff, University of Leeds, United Kingdom

Section Editors

  1. John Franco, University of Cincinnati, United States
  2. Roberto Sebastiani, University of Trento, Italy
  3. Marijn Heule, University of Texas, Austin, United States
  4. Daniel LeBerre, CRIL, Université d'Artois, France
  5. Hans Kleine Büning, University of Paderborn, Germany
  6. Alessandro Cimatti, Fondazione Bruno Kessler, Trento, Italy
  7. Stefan Szeider, Vienna University of Technology, Austria
  8. Oliver Kullmann, Swansea University, United Kingdom
  9. Toby Walsh, NICTA, New South Wales, Australia
  10. Faheim Bacchus, University of Toronto, Canada
  11. Joao Marques-Silva, University College, Dublin, Ireland
  12. Enrico Giunchiglia, DIST, Università di Genova, Italy
  13. Dr. Sean Andrew Weaver, Trusted Systems Research Group, United States
  14. Ofer Strichman, Technion, Haifa, Israel
  15. Olaf Beyersdorff, University of Leeds, United Kingdom
  16. Matti Jarvisalo, Finland
  17. John S. Schlipf, University of Cincinnati

Layout Editors

  1. John Franco, University of Cincinnati, United States
  2. Marijn Heule, University of Texas, Austin, United States

Copyeditors

  1. John Franco, University of Cincinnati, United States
  2. Marijn Heule, University of Texas, Austin, United States