University of Cincinnati Logo
 

 
COMPUTER SCIENCE
THEORY and ALGORITHMS

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.

 

ERC
MainStreet
Paul Erdos
NIT
Ladies on Campus
Oscar Robinson