Libros sobre el tema "Satisfiability theory"

Hoos, Holger H. y David G. Mitchell, eds. Theory and Applications of Satisfiability Testing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11527695.

Bacchus, Fahiem y Toby Walsh, eds. Theory and Applications of Satisfiability Testing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/b137280.

Giunchiglia, Enrico y Armando Tacchella, eds. Theory and Applications of Satisfiability Testing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/b95238.

Li, Chu-Min y Felip Manyà, eds. Theory and Applications of Satisfiability Testing – SAT 2021. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-80223-3.

Järvisalo, Matti y Allen Van Gelder, eds. Theory and Applications of Satisfiability Testing – SAT 2013. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-39071-5.

Beyersdorff, Olaf y Christoph M. Wintersteiger, eds. Theory and Applications of Satisfiability Testing – SAT 2018. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-94144-8.

Gaspers, Serge y Toby Walsh, eds. Theory and Applications of Satisfiability Testing – SAT 2017. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-66263-3.

Creignou, Nadia y Daniel Le Berre, eds. Theory and Applications of Satisfiability Testing – SAT 2016. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-40970-2.

Sinz, Carsten y Uwe Egly, eds. Theory and Applications of Satisfiability Testing – SAT 2014. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-09284-3.

Pulina, Luca y Martina Seidl, eds. Theory and Applications of Satisfiability Testing – SAT 2020. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-51825-7.

Kleine Büning, Hans y Xishun Zhao, eds. Theory and Applications of Satisfiability Testing – SAT 2008. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-79719-7.

Kullmann, Oliver, ed. Theory and Applications of Satisfiability Testing - SAT 2009. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-02777-2.

Heule, Marijn y Sean Weaver, eds. Theory and Applications of Satisfiability Testing -- SAT 2015. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-24318-4.

Cimatti, Alessandro y Roberto Sebastiani, eds. Theory and Applications of Satisfiability Testing – SAT 2012. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-31612-8.

Janota, Mikoláš y Inês Lynce, eds. Theory and Applications of Satisfiability Testing – SAT 2019. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-24258-9.

Marques-Silva, João y Karem A. Sakallah, eds. Theory and Applications of Satisfiability Testing – SAT 2007. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-72788-0.

Sakallah, Karem A. y Laurent Simon, eds. Theory and Applications of Satisfiability Testing - SAT 2011. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-21581-0.

Biere, Armin y Carla P. Gomes, eds. Theory and Applications of Satisfiability Testing - SAT 2006. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11814948.

Strichman, Ofer y Stefan Szeider, eds. Theory and Applications of Satisfiability Testing – SAT 2010. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-14186-7.

Dingzhu, 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.

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.

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.

Roberto, Sebastiani y SpringerLink (Online service), eds. Theory and Applications of Satisfiability Testing – SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Järvisalo, Matti. Theory and Applications of Satisfiability Testing – SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

H, 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.

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.

Holger, H. Hoos David G. Mitchell. Theory and Applications of Satisfiability Testing. Springer, 2008.

Bacchus, Toby Walsh Fahiem. Theory and Applications of Satisfiability Testing. Springer, 2008.

Kullmann, Oliver. Theory and Applications of Satisfiability Testing - SAT 2009. Springer, 2009.

Theory and Applications of Satisfiability Testing - SAT 2018. Springer, 2018.

Szeider, Ofer Strichman Stefan. Theory and Applications of Satisfiability Testing - SAT 2010. Springer, 2011.

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

Theory And Applications Of Satisfiability Testing Sat 2012 15th International Conference Trento Italy June 1720 2012 Proceedings. Springer, 2012.

Creignou, Nadia y Daniel Le Berre. Theory and Applications of Satisfiability Testing SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings. Springer International Publishing AG, 2016.

Theory and applications of satisfiability teasting - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings. New York: Springer, 2013.

Creignou, Nadia y Daniel Le Berre. Theory and Applications of Satisfiability Testing - SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings. Springer London, Limited, 2016.

Seidl, Martina y Luca Pulina. Theory and Applications of Satisfiability Testing – SAT 2020: 23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings. Springer, 2020.

Theory and Applications of Satisfiability Testing - SAT 2014: 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, ... Springer, 2014.

Walsh, Toby y Serge Gaspers. Theory and Applications of Satisfiability Testing – SAT 2017: 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, ... Springer, 2017.

Biere, 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.

Heule, Marijn y Sean Weaver. Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings. Springer International Publishing AG, 2015.

Heule, Marijn y Sean Weaver. Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings. Springer London, Limited, 2015.

Walsh, 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.

Simon, Laurent y Karem A. Sakallah. Theory and Application of Satisfiability Testing: 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings. Springer, 2011.

Szeider, Stefan y Ofer Strichman. Theory and Applications of Satisfiability Testing - SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings. Springer London, Limited, 2010.

Sakallah, Karem A. y Joao Marques-Silva. Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings. Springer London, Limited, 2007.

Li, Chu-Min y Felip Manyà. Theory and Applications of Satisfiability Testing - SAT 2021: 24th International Conference, SAT 2021, Barcelona, Spain, July 5-9, 2021, Proceedings. Springer International Publishing AG, 2021.

Büning, Hans Kleine y Xishun Zhao. Theory and Applications of Satisfiability Testing - SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings. Springer London, Limited, 2008.

Janota, Mikoláš y Inês Lynce. Theory and Applications of Satisfiability Testing – SAT 2019: 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings. Springer, 2019.