Щоб переглянути інші типи публікацій з цієї теми, перейдіть за посиланням: Satisfiability theory.

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

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Ознайомтеся з топ-50 книг для дослідження на тему "Satisfiability theory".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Переглядайте книги для різних дисциплін та оформлюйте правильно вашу бібліографію.

1

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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
10

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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
11

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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
12

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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
13

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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
14

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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
15

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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
16

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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
17

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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
18

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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
19

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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
20

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.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
21

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.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
22

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.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
23

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.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
24

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.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
25

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.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
26

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.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
27

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

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
28

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

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
29

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

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
30

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

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
31

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

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
32

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

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
33

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

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
34

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

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
35

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.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
36

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

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
37

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.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
38

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.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
39

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

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
40

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.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
41

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.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
42

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.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
43

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.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
44

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.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
45

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.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
46

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.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
47

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.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
48

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.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
49

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.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
50

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.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!

До бібліографії