Publications
 

Probabilistic Analysis of Satisfiability Algorithms

John Franco

In Boolean Methods and Models, Yves Crama and Peter Hammer (eds.), Cambridge University Press, to appear.

Avoiding Unnecessary Calculations in Robot Navigation

Weiya Yue and John Franco

In Proc. WCECS, San Francisco, 2009, pages 718-723, Newswood Limited, Hong Kong.

A History of Satisfiability

John Franco and John Martin

In Handbook of Satisfiability, Armin Biere, Marijn Huele, Hans van Maaren, Toby Walsh (eds.), pages 3-74. IOS Press, 2009.

Workshop on Satisfiability: Assessing the Progress

John Franco, Victor Marek, Sean Weaver

U.S. Department of Defense internal publication, 2008.

View all