Relevant bibliographies by topics / 3-Satisfiability / Books
To see the other types of publications on this topic, follow the link: 3-Satisfiability.

Books on the topic '3-Satisfiability'

Author: Grafiati
Published: 4 June 2021
Last updated: 1 February 2022

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

Select a source type:

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

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

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

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

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

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
6

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

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

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
9

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
10

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
11

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
12

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
13

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
14

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
15

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
16

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
17

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
18

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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic '3-Satisfiability' for other source types:
Journal articles
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