Books on the topic 'Propositional satisfiability'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 26 books for your research on the topic 'Propositional satisfiability.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse books on a wide variety of disciplines and organise your bibliography correctly.
Harris, J. G. Approaches to the satisfiability problem of propositional logic. Manchester: UMIST, 1994.
Find full textIntroduction to mathematics of satisfiability. Boca Raton: Taylor & Francis, 2009.
Find full textDingzhu, 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.
Find full textSAT 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.
Find full textH, 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.
Find full textSAT 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.
Find full textSakallah, 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.
Find full textTheodor, Lettman, ed. Propositional logic: Deduction and algorithms. Cambridge [England]: Cambridge University Press, 1999.
Find full textThomas, Schiex, ed. Intelligence artificielle et informatique théorique. Toulouse: Cépaduès-éd., 1994.
Find full textThe satisfiability problem. Amsterdam: Elsevier, 1999.
Find full textWalsh, Toby, and Enrico Giunchiglia. Sat 2005: Satisfiability Research in the Year 2005. Springer Netherlands, 2014.
Find full textWalsh, Toby, and Enrico Giunchiglia. Sat 2005: Satisfiability Research in the Year 2005. Springer London, Limited, 2007.
Find full text(Editor), Enrico Giunchiglia, and Toby Walsh (Editor), eds. SAT 2005: Satisfiability Research in the Year 2005. Springer, 2006.
Find full textvan, Dieter Melkebeek. A Survey of Lower Bounds for Satisfiability and Related Problems. Now Publishers Inc, 2007.
Find full textHandbook of Satisfiability Frontiers in Artificial Intelligence and Applications. IOS Press, 2009.
Find full text(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.
Find full textWalsh, 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.
Find full text(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.
Find full textGiunchiglia, 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.
Find full textTheory and Applications of Satisfiability Testing SAT 2009 Lecture Notes in Computer Science. Springer, 2009.
Find full text(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.
Find full textBiere, 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.
Find full text(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.
Find full text(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.
Find full text(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.
Find full textBüning, Hans Kleine, and Theodor Lettmann. Propositional Logic: Deduction and Algorithms (Cambridge Tracts in Theoretical Computer Science). Cambridge University Press, 1999.
Find full text