Books on the topic 'Propositional satisfiability'

Harris, J. G. Approaches to the satisfiability problem of propositional logic. Manchester: UMIST, 1994.

Introduction to mathematics of satisfiability. Boca Raton: Taylor & Francis, 2009.

Dingzhu, Du, Gu Jun 1956-, Pardalos P. M. 1954-, and NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science., eds. Satisfiability problem: Theory and applications : DIMACS workshop, March 11-13, 1996. Providence, R.I: American Mathematical Society, 1997.

SAT 2007 (2007 Lisbon, Portugal). Theory and applications of satisfiability testing: SAT 2007 : 10th international conference, Lisbon, Portugal, May 28-31, 2007 : proceedings. Berlin: Springer, 2007.

H, Kleine Büning, and Zhao Xishun, eds. Theory and applications of satisfiability testing--SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008 : proceedings. Berlin: Springer, 2008.

SAT 2010 (2010 Edinburgh, UK). Theory and applications of satisfiability testing-- SAT 2010: 13th international conference, SAT 2010 Edinburgh, UK, July 2010 : proceedings. Berlin: Springer, 2010.

Sakallah, Karem A. Theory and Applications of Satisfiability Testing - SAT 2011: 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings. Berlin, Heidelberg: Springer-Verlag GmbH Berlin Heidelberg, 2011.

Theodor, Lettman, ed. Propositional logic: Deduction and algorithms. Cambridge [England]: Cambridge University Press, 1999.

Thomas, Schiex, ed. Intelligence artificielle et informatique théorique. Toulouse: Cépaduès-éd., 1994.

The satisfiability problem. Amsterdam: Elsevier, 1999.

Walsh, Toby, and Enrico Giunchiglia. Sat 2005: Satisfiability Research in the Year 2005. Springer Netherlands, 2014.

Walsh, Toby, and Enrico Giunchiglia. Sat 2005: Satisfiability Research in the Year 2005. Springer London, Limited, 2007.

(Editor), Enrico Giunchiglia, and Toby Walsh (Editor), eds. SAT 2005: Satisfiability Research in the Year 2005. Springer, 2006.

van, Dieter Melkebeek. A Survey of Lower Bounds for Satisfiability and Related Problems. Now Publishers Inc, 2007.

Handbook of Satisfiability Frontiers in Artificial Intelligence and Applications. IOS Press, 2009.

(Editor), Ian Gent, Ian Gentles (Editor), Hans Van Maaren (Editor), and Toby Walsh (Editor), eds. SAT2000: Highlights of Satisfiability Research in the Year 2000 (Frontiers in Artificial Intelligence and Applications, V. 63). Ios Pr Inc, 2000.

Walsh, Toby, and Fahiem Bacchus. Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings. Springer London, Limited, 2005.

(Editor), Fahiem Bacchus, and Toby Walsh (Editor), eds. Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings (Lecture Notes in Computer Science). Springer, 2005.

Giunchiglia, Enrico, and Armando Tacchella. Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers. Springer London, Limited, 2004.

Theory and Applications of Satisfiability Testing SAT 2009 Lecture Notes in Computer Science. Springer, 2009.

(Editor), Enrico Giunchiglia, and Armando Tacchella (Editor), eds. Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003Selected Revised Papers (Lecture Notes in Computer Science). Springer, 2004.

Biere, Armin, and Carla P. Gomes. Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings. Springer London, Limited, 2006.

(Editor), Joao Marques-Silva, and Karem A. Sakallah (Editor), eds. Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings (Lecture Notes in Computer Science). Springer, 2007.

(Editor), Armin Biere, and Carla P. Gomes (Editor), eds. Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings (Lecture Notes in Computer Science). Springer, 2006.

(Editor), Holger H. Hoos, and David G. Mitchell (Editor), eds. Theory and Applications of Satisfiability Testing: 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers (Lecture Notes in Computer Science). Springer, 2005.

Büning, Hans Kleine, and Theodor Lettmann. Propositional Logic: Deduction and Algorithms (Cambridge Tracts in Theoretical Computer Science). Cambridge University Press, 1999.