Encyclopedia of Computer Science and Engineering, area editor (theory)

Benjamin Wah, editor-in-chief

John Wiley, 2009.

Theory and Applications of Satisfiability Testing

John Franco, Henry Kautz, Hans Kleine Büning, Hans van Maaren, Ewald Speckenmeyer, Bart Selman

Annals of Mathematics and Artificial Intelligence, Volume 43, Numbers 1-4, Kluwer, 2005.

Results on Satisfiability in Propositional Logic

John Franco, Hans Kleine Büning, Hans van Maaren, Ewald Speckenmeyer

Annals of Mathematics and Artificial Intelligence, Volume 37, Number 3, Kluwer, 2003.

Satisfiability Algorithms

John Franco, Giorgio Gallo, Hans Kleine Büning, Ewald Speckenmeyer

Discrete Applied Mathematics, Volume 10 in the series Topics in Discrete Mathematics, Elsevier, 2000.

Artificial Intelligence and Mathematics IX

Endre Boros, John Franco, Eugene Freuder, Martin Golumbic, R. Greiner, Eddy Mayoraz

Annals of Mathematics and Artificial Intelligence, Volume 26, J.C. Baltzer, 1998.

Logic and Combinatorics

John Franco, Michael Dunn, William Wheeler

Annals of Mathematics and Artificial Intelligence Volume 6, J.C. Baltzer, 1992.

Journal on Satisisfiability, Boolean Modeling, and Computation

Associate editor since its inception (Hans van Maaren is editor-in-chief)

IOS Press.

Annals of Mathematics and Artificial Intelligence

Assistant editor (Martin Golumbic is editor-in-chief)

Kluwer.