Relevant bibliographies by topics / Satisfiability / Books

Books on the topic 'Satisfiability'

To see the other types of publications on this topic, follow the link: Satisfiability.
Author: Grafiati
Published: 4 June 2021
Last updated: 22 June 2024

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 books for your research on the topic '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.

1

Introduction to mathematics of satisfiability. Boca Raton: Taylor & Francis, 2009.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Petke, Justyna. Bridging Constraint Satisfaction and Boolean Satisfiability. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-21810-6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

French, Alan Paul. A genetic algorithm for the satisfiability problem. Loughborough, Leics: Loughborough University Business School, 1995.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
11

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
12

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
13

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
14

Eggersglüß, Stephan, and Rolf Drechsler. High Quality Test Pattern Generation and Boolean Satisfiability. Boston, MA: Springer US, 2012. http://dx.doi.org/10.1007/978-1-4419-9976-4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
15

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
16

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
17

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
18

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
19

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
20

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
21

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
22

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
23

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
24

Harris, J. G. Approaches to the satisfiability problem of propositional logic. Manchester: UMIST, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
25

Gianola, Alessandro. Verification of Data-Aware Processes via Satisfiability Modulo Theories. Cham: Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-42746-6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
26

Przigoda, Nils, Robert Wille, Judith Przigoda, and Rolf Drechsler. Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-72814-8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
27

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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
28

1942-, Jeroslow Robert G., ed. Horn logic, search and satisfiability: A collection of papers in memory of Robert G. Jeroslow. Basel, Switzerland: J.C. Baltzer, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
29

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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
30

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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
31

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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
32

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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
33

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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
34

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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
35

Biere, Armin, Marijn Heule, Hans van Maaren, and Toby Walsh, eds. Handbook of Satisfiability. IOS Press, 2021. http://dx.doi.org/10.3233/faia336.

Full text
APA, Harvard, Vancouver, ISO, and other styles
36

The satisfiability problem. Amsterdam: Elsevier, 1999.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
37

Marek, Victor W. Introduction to Mathematics of Satisfiability. Taylor & Francis Group, 2009.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
38

Marek, Victor W. Introduction to Mathematics of Satisfiability. Taylor & Francis Group, 2009.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
39

Marek, Victor W. Introduction to Mathematics of Satisfiability. Taylor & Francis Group, 2009.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
40

Purdom, Paul, Benjamin W. Wah, Jun Gu, and John Franco. Algorithms for the Satisfiability Problem. Cambridge University Press, 2008.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
41

Biere, A., M. Heule, and H. van Maaren. Handbook of Satisfiability: Second Edition. IOS Press, Incorporated, 2021.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
42

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
43

Petke, Justyna. Bridging Constraint Satisfaction and Boolean Satisfiability. Springer, 2015.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
44

Petke, Justyna. Bridging Constraint Satisfaction and Boolean Satisfiability. Springer, 2015.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
45

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
46

Petke, Justyna. Bridging Constraint Satisfaction and Boolean Satisfiability. Springer, 2016.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
47

Safarpour, Sean A. Managing circuit don't cares in Boolean satisfiability. 2005.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
48

Goldberg, Allen T. On the Complexity of the Satisfiability Problem. Creative Media Partners, LLC, 2015.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
49

On the Complexity of the Satisfiability Problem. Creative Media Partners, LLC, 2022.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
50

Walsh, Toby, and Enrico Giunchiglia. Sat 2005: Satisfiability Research in the Year 2005. Springer Netherlands, 2014.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Satisfiability' for other source types:
Journal articles Dissertations / Theses
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography