Journal Contact

Principal Contact

John Franco
Editor-in-chief
University of Cincinnati
Email: franco@gauss.ececs.uc.edu

Support Contact

Marijn Heule
Email: marijn@cs.utexas.edu