Editorial board

Editors in Chief

• Armin Biere, University of Freiburg, Germany (Editor in Chief)
• Marijn Heule, Carneggie Mellon University, United States of America (Editor in Chief)

Editorial Board

• Olaf Beyersdorff, Friedrich Schiller University Jena, Germany
• Supratik Chakraborty, Indian Institute of Technology Bombay, India
• Mikoláš Janota, Czech Institute of of Informatics, Robotics and Cybernetics, Prague, Czech Republic
• Matti Järvisalo, University of Helsinki, Finland
• Ines Lynce, INESC-ID Lisboa, Portugal
• Holger Hoos, RWTH Aachen, Germany
• Jie-Hong Roland Jiang, National Taiwan University, Taipei, Taiwan
• Laurent Simon, University of Bordeaux, France
• Meena Mahajan, The Institute of Mathematical Sciences, Chennai, India
• Stefan Mengel, Centre de Recherche en Informatique de Lens (CRIL), France
• Martina Seidl, Johannes Kepler University Linz, Austria
• Ofer Strichman, Technion, Israel
• Stefan Szeider, TU Wien, Austria