Libros sobre el tema "Propositional satisfiability"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte los 26 mejores mejores libros para su investigación sobre el tema "Propositional satisfiability".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Explore libros sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.
Harris, J. G. Approaches to the satisfiability problem of propositional logic. Manchester: UMIST, 1994.
Buscar texto completoIntroduction to mathematics of satisfiability. Boca Raton: Taylor & Francis, 2009.
Buscar texto completoDingzhu, Du, Gu Jun 1956-, Pardalos P. M. 1954- y 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.
Buscar texto completoSAT 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.
Buscar texto completoH, Kleine Büning y 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.
Buscar texto completoSAT 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.
Buscar texto completoSakallah, 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.
Buscar texto completoTheodor, Lettman, ed. Propositional logic: Deduction and algorithms. Cambridge [England]: Cambridge University Press, 1999.
Buscar texto completoThomas, Schiex, ed. Intelligence artificielle et informatique théorique. Toulouse: Cépaduès-éd., 1994.
Buscar texto completoThe satisfiability problem. Amsterdam: Elsevier, 1999.
Buscar texto completoWalsh, Toby y Enrico Giunchiglia. Sat 2005: Satisfiability Research in the Year 2005. Springer Netherlands, 2014.
Buscar texto completoWalsh, Toby y Enrico Giunchiglia. Sat 2005: Satisfiability Research in the Year 2005. Springer London, Limited, 2007.
Buscar texto completo(Editor), Enrico Giunchiglia y Toby Walsh (Editor), eds. SAT 2005: Satisfiability Research in the Year 2005. Springer, 2006.
Buscar texto completovan, Dieter Melkebeek. A Survey of Lower Bounds for Satisfiability and Related Problems. Now Publishers Inc, 2007.
Buscar texto completoHandbook of Satisfiability Frontiers in Artificial Intelligence and Applications. IOS Press, 2009.
Buscar texto completo(Editor), Ian Gent, Ian Gentles (Editor), Hans Van Maaren (Editor) y 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.
Buscar texto completoWalsh, Toby y 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.
Buscar texto completo(Editor), Fahiem Bacchus y 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.
Buscar texto completoGiunchiglia, Enrico y 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.
Buscar texto completoTheory and Applications of Satisfiability Testing SAT 2009 Lecture Notes in Computer Science. Springer, 2009.
Buscar texto completo(Editor), Enrico Giunchiglia y 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.
Buscar texto completoBiere, Armin y 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.
Buscar texto completo(Editor), Joao Marques-Silva y 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.
Buscar texto completo(Editor), Armin Biere y 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.
Buscar texto completo(Editor), Holger H. Hoos y 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.
Buscar texto completoBüning, Hans Kleine y Theodor Lettmann. Propositional Logic: Deduction and Algorithms (Cambridge Tracts in Theoretical Computer Science). Cambridge University Press, 1999.
Buscar texto completo