Guest Editor
Encyclopedia of Computer Science and
Engineering, area editor (theory)
Benjamin Wah, editorinchief
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 14, 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.


Editorial Boards
Journal on Satisisfiability, Boolean
Modeling, and Computation
Associate editor since its inception (Hans van Maaren is editorinchief)
IOS Press.

Annals of Mathematics and Artificial Intelligence
Assistant editor (Martin Golumbic is
editorinchief)
Kluwer.


