TermsVector search on Z-Library for unsatisﬁable

Поиск ключевых слов

Main
Поиск ключевых слов

1

Handbook of Satisfiability

Handbook of Satisfiability

A. Biere, M. Heule, H. Van Maaren, T. Walsh

Год:

2021

Язык:

english

Файл:

PDF, 11.25 MB

0 / 5.0

english, 2021

2

Handbook of satisfiability

Handbook of satisfiability

Год:

2021

Язык:

english

Файл:

PDF, 10.40 MB

0 / 0

english, 2021

3

Handbook of Satisfiability

Handbook of Satisfiability

A. Biere, M. Heule, H. van Maaren

Год:

2021

Язык:

english

Файл:

PDF, 10.40 MB

0 / 5.0

english, 2021

4

Handbook of Satisfiability

Handbook of Satisfiability

A. Biere, M. Heule, H. van Maaren,

Год:

2021

Язык:

english

Файл:

PDF, 10.40 MB

0 / 0

english, 2021

5

Handbook of Satisfiability

Handbook of Satisfiability

A. Biere, A. Biere, M. Heule, H. Van Maaren, T. Walsh (eds)

Год:

2009

Язык:

english

Файл:

PDF, 5.29 MB

0 / 0

english, 2009

6

Handbook of Satisfiability

Handbook of Satisfiability

A. Biere, A. Biere, M. Heule, H. Van Maaren, T. Walsh

Год:

2009

Язык:

english

Файл:

PDF, 8.35 MB

0 / 5.0

english, 2009

7

Logical Foundations of Computer Science (In 2 Volume)

Logical Foundations of Computer Science (In 2 Volume)

World Scientific Publishing Co Pte Ltd

Peter A. Fejer & Dan A. Simovici

Год:

2024

Язык:

english

Файл:

PDF, 11.24 MB

0 / 5.0

english, 2024

8

Logical Foundations of Computer Science (in 2 Volumes)

Logical Foundations of Computer Science (in 2 Volumes)

World Scientific Publishing Company

Peter Fejer, Dan A Simovici

Год:

2024

Язык:

english

Файл:

PDF, 15.99 MB

5.0 / 5.0

english, 2024

9

Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings

Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings

Marijn Heule, Sean Weaver

Год:

2015

Язык:

english

Файл:

PDF, 14.30 MB

0 / 0

english, 2015

10

Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings

Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings

Springer International Publishing

Marijn Heule, Sean Weaver (eds.)

Год:

2015

Язык:

english

Файл:

PDF, 24.52 MB

0 / 0

english, 2015

11

Theory and Applications of Satisfiability Testing – SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings

Theory and Applications of Satisfiability Testing – SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings

Hans Kleine Büning, Xishun Zhao

Год:

2008

Язык:

english

Файл:

PDF, 3.45 MB

0 / 0

english, 2008

12

Theory and Applications of Satisfiability Testing – SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings

Theory and Applications of Satisfiability Testing – SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Josep Argelich, Alba Cabiscol, Inês Lynce (auth.), Hans Kleine Büning, Xishun Zhao (eds.)

Год:

2008

Язык:

english

Файл:

PDF, 3.58 MB

0 / 0

english, 2008

13

Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings

Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings

Armin Biere, Carla P. Gomes

Год:

2006

Язык:

english

Файл:

PDF, 4.68 MB

0 / 0

english, 2006

14

Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings

Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings

Springer-Verlag Berlin Heidelberg

Hossein M. Sheini, Karem A. Sakallah (auth.), Armin Biere, Carla P. Gomes (eds.)

Год:

2006

Язык:

english

Файл:

PDF, 4.91 MB

0 / 0

english, 2006

15

Theory and Applications of Satisfiability Testing - SAT 2009: 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings

Theory and Applications of Satisfiability Testing - SAT 2009: 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Robert Nieuwenhuis (auth.), Oliver Kullmann (eds.)

Год:

2009

Язык:

english

Файл:

PDF, 10.19 MB

0 / 0

english, 2009

16

Theory and applications of satisfiability testing - SAT 2018: 21st international conference, SAT 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018: proceedings

Theory and applications of satisfiability testing - SAT 2018: 21st international conference, SAT 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018: proceedings

Beyersdorff, Olaf, Wintersteiger, Christoph M

Год:

2018

Язык:

english

Файл:

PDF, 7.30 MB

0 / 0

english, 2018

17

Theory and Applications of Satisfiability Testing – SAT 2018

Theory and Applications of Satisfiability Testing – SAT 2018

Springer International Publishing

Olaf Beyersdorff, Christoph M. Wintersteiger

Год:

2018

Язык:

english

Файл:

PDF, 12.77 MB

0 / 0

english, 2018

18

Theory and Applications of Satisfiability Testing - SAT 2009: 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings

Theory and Applications of Satisfiability Testing - SAT 2009: 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings

Oliver Kullmann

Год:

2009

Язык:

english

Файл:

PDF, 5.31 MB

0 / 0

english, 2009

19

Theory and Applications of Satisfiability Testing - SAT 2009: 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings

Theory and Applications of Satisfiability Testing - SAT 2009: 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Robert Nieuwenhuis (auth.), Oliver Kullmann (eds.)

Год:

2009

Язык:

english

Файл:

PDF, 7.24 MB

0 / 0

english, 2009

20

Theory and Applications of Satisfiability Testing - SAT 2009: 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings

Theory and Applications of Satisfiability Testing - SAT 2009: 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Robert Nieuwenhuis (auth.), Oliver Kullmann (eds.)

Год:

2009

Язык:

english

Файл:

PDF, 7.19 MB

0 / 0

english, 2009

21

Theory and Applications of Satisfiability Testing - SAT 2016 : 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

Theory and Applications of Satisfiability Testing - SAT 2016 : 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

Nadia Creignou, Daniel Le Berre

Год:

2016

Язык:

english

Файл:

PDF, 7.10 MB

0 / 0

english, 2016

22

Theory and Applications of Satisfiability Testing – SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

Theory and Applications of Satisfiability Testing – SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

Springer International Publishing

Nadia Creignou, Daniel Le Berre (eds.)

Год:

2016

Язык:

english

Файл:

PDF, 14.53 MB

0 / 0

english, 2016

23

LNCS 2919 - Theory and Applications of Satisfiability Testing

LNCS 2919 - Theory and Applications of Satisfiability Testing

Enrico Giunchiglia & Armando Tacchella

Год:

2009

Язык:

english

Файл:

PDF, 5.66 MB

0 / 5.0

english, 2009

24

Theory and Applications of Satisfiability Testing – SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings

Theory and Applications of Satisfiability Testing – SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Aaron R. Bradley (auth.), Alessandro Cimatti, Roberto Sebastiani (eds.)

Год:

2012

Язык:

english

Файл:

PDF, 7.71 MB

0 / 0

english, 2012

25

Constraint Networks: Techniques and Algorithms

Constraint Networks: Techniques and Algorithms

Christophe Lecoutre

Год:

2009

Язык:

english

Файл:

PDF, 7.53 MB

0 / 0

english, 2009

26

Constraint Networks: Targeting Simplicity for Techniques and Algorithms

Constraint Networks: Targeting Simplicity for Techniques and Algorithms

Christophe Lecoutre

Год:

2009

Язык:

english

Файл:

PDF, 7.08 MB

0 / 0

english, 2009

27

Art of Computer Programming, The: Combinatorial Algorithms, Volume 4B

Art of Computer Programming, The: Combinatorial Algorithms, Volume 4B

Addison-Wesley Professional

Год:

2022

Язык:

english

Файл:

PDF, 10.90 MB

5.0 / 5.0

english, 2022

28

The Art of Computer Programming Vol. 4B Combinatorial Algorithms Part 2

The Art of Computer Programming Vol. 4B Combinatorial Algorithms Part 2

Addison-Wesley Professional

Donald E. Knuth

Год:

2022

Язык:

english

Файл:

PDF, 10.24 MB

5.0 / 5.0

english, 2022

29

Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings

Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings

Alessandro Cimatti, Roberto Sebastiani

Год:

2012

Язык:

english

Файл:

PDF, 6.37 MB

0 / 0

english, 2012

30

Theory and Applications of Satisfiability Testing – SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings

Theory and Applications of Satisfiability Testing – SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Aaron R. Bradley (auth.), Alessandro Cimatti, Roberto Sebastiani (eds.)

Год:

2012

Язык:

english

Файл:

PDF, 8.16 MB

0 / 0

english, 2012

31

Advanced Techniques in Logic Synthesis, Optimizations and Applications

Advanced Techniques in Logic Synthesis, Optimizations and Applications

Springer New York

Khatri, Sunil P(Editor), Gulati, Kanupriya(Editor)

Год:

2010

Язык:

english

Файл:

PDF, 5.24 MB

0 / 5.0

english, 2010

32

Decision procedures : an algorithmic point of view

Decision procedures : an algorithmic point of view

Daniel Kroening, Ofer Strichman, R.E. Bryant

Год:

2008

Язык:

english

Файл:

PDF, 2.20 MB

0 / 0

english, 2008

33

Decision Procedures: An Algorithmic Point of View

Decision Procedures: An Algorithmic Point of View

Daniel Kroening, Ofer Strichman

Год:

2008

Язык:

english

Файл:

PDF, 3.45 MB

0 / 0

english, 2008

34

Automated Reasoning

Automated Reasoning

Springer International Publishing

Didier Galmiche, Stephan Schulz, Roberto Sebastiani

Год:

2018

Язык:

english

Файл:

PDF, 28.93 MB

0 / 0

english, 2018

35

Logic for Computer Science: Foundations of Automatic Theorem Proving (REVISED ON-LINE VERSION (2003))

Logic for Computer Science: Foundations of Automatic Theorem Proving (REVISED ON-LINE VERSION (2003))

Longman Higher Education

Jean H. Gallier

Год:

1986

Язык:

english

Файл:

PDF, 6.99 MB

0 / 0

english, 1986

36

Logic for computer science: foundations of automatic theorem proving

Logic for computer science: foundations of automatic theorem proving

Longman Higher Education

Jean H. Gallier

Год:

1986

Язык:

english

Файл:

PDF, 1.85 MB

0 / 0

english, 1986

37

Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers

Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers

Enrico Giunchiglia, Armando Tacchella

Год:

2004

Язык:

english

Файл:

PDF, 4.37 MB

0 / 0

english, 2004

38

Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers

Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers

Springer-Verlag Berlin Heidelberg

Michael R. Dransfield, Victor W. Marek (auth.), Enrico Giunchiglia, Armando Tacchella (eds.)

Год:

2004

Язык:

english

Файл:

PDF, 6.05 MB

0 / 0

english, 2004

39

Theory and applications of satisfiability testing - SAT 2017: 20th international conference, Melbourne, VIC, Australia, August 28 - September 1, 2017: proceedings

Theory and applications of satisfiability testing - SAT 2017: 20th international conference, Melbourne, VIC, Australia, August 28 - September 1, 2017: proceedings

Год:

2017

Язык:

english

Файл:

PDF, 10.93 MB

0 / 0

english, 2017

40

Theory and applications of satisfiability testing -- SAT 2017 : 20th International Conference, Melbourne, VIC, Australia, August 28-September 1, 2017, Proceedings

Theory and applications of satisfiability testing -- SAT 2017 : 20th International Conference, Melbourne, VIC, Australia, August 28-September 1, 2017, Proceedings

Gaspers, Serge, Walsh, Toby

Год:

2017

Язык:

english

Файл:

PDF, 15.10 MB

0 / 0

english, 2017

41

Logics for Computer Science, 2nd Edition

Logics for Computer Science, 2nd Edition

Год:

2018

Язык:

english

Файл:

PDF, 2.45 MB

0 / 0

english, 2018

42

A First Course in Logic

A First Course in Logic

Oxford University Press

Год:

2004

Язык:

english

Файл:

PDF, 6.84 MB

4.0 / 0

english, 2004

43

A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity

A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity

Oxford University Press

Год:

2004

Язык:

english

Файл:

PDF, 1.79 MB

4.0 / 5.0

english, 2004

44

Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings

Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings

Joao Marques-Silva, Karem A. Sakallah

Год:

2007

Язык:

english

Файл:

PDF, 4.17 MB

0 / 0

english, 2007

45

Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings (Lecture ... Computer Science and General Issues)

Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings (Lecture ... Computer Science and General Issues)

Joao Marques-Silva, Karem A. Sakallah

Год:

2007

Язык:

english

Файл:

PDF, 3.79 MB

0 / 0

english, 2007

46

Theory and Applications of Satisfiability Testing – SAT 2007: 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings

Theory and Applications of Satisfiability Testing – SAT 2007: 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Martin Davis (auth.), João Marques-Silva, Karem A. Sakallah (eds.)

Год:

2007

Язык:

english

Файл:

PDF, 5.55 MB

0 / 0

english, 2007

47

Theory and Applications of Satisfiability Testing – SAT 2021

Theory and Applications of Satisfiability Testing – SAT 2021

Chu-Min Li, Felip Manyà

Год:

2021

Язык:

english

Файл:

PDF, 29.31 MB

0 / 5.0

english, 2021

48

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

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

Carsten Sinz, Uwe Egly

Год:

2014

Язык:

english

Файл:

PDF, 6.61 MB

0 / 0

english, 2014

49

Automated deduction -- CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings

Automated deduction -- CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings

Moura, Leonardo de

Год:

2017

Язык:

english

Файл:

PDF, 14.98 MB

0 / 0

english, 2017

50

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

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

Springer International Publishing

Carsten Sinz, Uwe Egly (eds.)

Год:

2014

Язык:

english

Файл:

PDF, 9.22 MB

0 / 0

english, 2014