Se connecter

Bibliographies thématiques / Satisfiability theory / Livres

Livres sur le sujet « Satisfiability theory »

Pour voir les autres types de publications sur ce sujet consultez le lien suivant : Satisfiability theory.

Auteur : Grafiati

Publié le 11 mars 2023

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Consultez les 50 meilleurs livres pour votre recherche sur le sujet « Satisfiability theory ».

À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.

Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.

Parcourez les livres sur diverses disciplines et organisez correctement votre bibliographie.

1

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

2

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

3

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

4

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

5

Järvisalo, Matti, et Allen Van Gelder, dir. 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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

6

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

7

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

8

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

9

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

10

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

11

Kleine Büning, Hans, et Xishun Zhao, dir. 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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

12

Kullmann, Oliver, dir. 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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

13

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

14

Cimatti, Alessandro, et Roberto Sebastiani, dir. 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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

15

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

16

Marques-Silva, João, et Karem A. Sakallah, dir. 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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

17

Sakallah, Karem A., et Laurent Simon, dir. 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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

18

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

19

Strichman, Ofer, et Stefan Szeider, dir. 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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

20

Dingzhu, Du, Gu Jun 1956-, Pardalos P. M. 1954- et NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science., dir. Satisfiability problem : Theory and applications : DIMACS workshop, March 11-13, 1996. Providence, R.I : American Mathematical Society, 1997.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

23

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

25

H, Kleine Büning, et Zhao Xishun, dir. Theory and applications of satisfiability testing--SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008 : proceedings. Berlin : Springer, 2008.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

27

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

28

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

29

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

30

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

31

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

32

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

33

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

34

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

35

Creignou, Nadia, et 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.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

36

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

37

Creignou, Nadia, et 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.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

38

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

40

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

41

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

42

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

43

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

44

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

45

Simon, Laurent, et 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.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

46

Szeider, Stefan, et 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.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

47

Sakallah, Karem A., et 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.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

48

Li, Chu-Min, et 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.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

49

Büning, Hans Kleine, et 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.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

50

Janota, Mikoláš, et 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.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!