Книги з теми "Satisfiability theory"

Hoos, Holger H., and 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, and Toby Walsh, eds. Theory and Applications of Satisfiability Testing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/b137280.

Giunchiglia, Enrico, and 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, and 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, and 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, and 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, and 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, and 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, and 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, and 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, and 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, and 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, and 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áš, and 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, and 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., and 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, and 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, and 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-, 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 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, and 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, 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.

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

Heule, Marijn, and 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, and 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, 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.

Simon, Laurent, and 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, and 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., and 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, and 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, and 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áš, and 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.