Guest Editor
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.
|
|
Editorial Boards
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.
|
|
|
|