| ID |
|
|
|
|
|
|
|
|
|
|
| 259215 |
Dieter Melkebeek van |
Foundations and Trends(R) in Theoretical Computer Science
A Survey of Lower Bounds for Satisfiability and Related Problems
1601980841, 9781601980847, 9781601980854 |
Now Publishers Inc |
2007 |
125 |
English |
704 |
pdf |
GET |
| 1407719 |
Justyna Petke (auth.) |
Artificial Intelligence: Foundations, Theory, and Algorithms
Bridging Constraint Satisfaction and Boolean Satisfiability [1 ed.]
978-3-319-21809-0, 978-3-319-21810-6 |
Springer International Publishing |
2015 |
XI, 113 |
English |
2 |
pdf |
GET |
| 574711 |
by Vilhelm Dahllöf. |
Exact algorithms for exact satisfiability problems
9185523976 |
|
|
197 |
English |
946 |
pdf |
GET |
| 320257 |
A. Biere, A. Biere, M. Heule, H. Van Maaren, T. Walsh |
Handbook of Satisfiability
1586039296 |
IOS Press |
2009 |
981 |
English |
8 |
pdf |
GET |
| 1505788 |
A. Biere, A. Biere, M. Heule, H. Van Maaren, T. Walsh (eds) |
Frontiers in Artificial Intelligence and Applications 185
Handbook of Satisfiability
1586039296, 978-1-58603-929-5, 9781607503767, 160750376X |
IOS Press |
2009 |
980 |
English |
5 |
pdf |
GET |
| 822914 |
Stephan Eggersglüß, Rolf Drechsler (auth.) |
High Quality Test Pattern Generation and Boolean Satisfiability [1 ed.]
1441999752, 9781441999757 |
Springer-Verlag New York |
2012 |
193 |
English |
2 |
pdf |
GET |
| 291947 |
Victor W. Marek |
Chapman & Hall/CRC Studies in Informatics Series
Introduction to mathematics of satisfiability [1 ed.]
1439801673, 9781439801673 |
Chapman and Hall/CRC |
2009 |
365 |
English |
5 |
pdf |
GET |
| 488248 |
Victor W. Marek |
Introduction to Mathematics of Satisfiability (Chapman & Hall Crc Studies in Informatics) [1 ed.]
1439801673, 9781439801673 |
|
2009 |
365 |
English |
5 |
pdf |
GET |
| 1575892 |
Victor Marek |
Studies in Logic
Introduction to Propositional Satisfiability
1848901399, 9781848901391 |
College Publications |
2014 |
378 |
English |
37 |
pdf |
GET |
| 2132960 |
Victor Marek |
Studies in logic 49
Introduction to Propositional Satisfiability
1848901399, 978-1-84890-139-1 |
College Publications |
2014 |
378 |
English |
7 |
djvu |
GET |
| 429397 |
Enrico Giunchiglia, Toby Walsh |
SAT 2005: Satisfiability Research in the Year 2005 [1 ed.]
1402045522, 9781402045523 |
|
2006 |
300 |
English |
2 |
pdf |
GET |
| 1156769 |
Weichen Liu ; Hong Kong Univ. of Sci. &; Technol., Hong Kong, China ; Zonghua Gu ; Jiang Xu ; Xiaowen Wu |
Satisfiability Modulo Graph Theory for Task Mapping and Scheduling on Multiprocessor Systems
1045-9219 |
|
0 |
0 |
|
554 |
pdf |
GET |
| 892895 |
D. Du, et. al., |
Satisfiability Problem - Theory, Applns. [math] |
AMS |
1997 |
723 |
English |
37 |
pdf |
GET |
| 12102 |
Jun Gu, Panos M. Pardalos, Jun Gu, Panos M. Pardalos, NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science |
DIMACS 35
Satisfiability problem: theory and applications
0821804790, 9780821804797 |
American Mathematical Society |
1997 |
723 |
English |
7 |
djvu |
GET |
| 1051792 |
Jun Gu, Panos M. Pardalos, Jun Gu, Panos M. Pardalos |
Dimacs Series in Discrete Mathematics and Theoretical Computer Science
Satisfiability Problem: Theory and Applications
0821804790, 9780821804797 |
Amer Mathematical Society |
1997 |
724 |
English |
63 |
pdf |
GET |
| 2132777 |
Du, Dingzhu; Gu, Jun; Pardalos, Panos M.; Staff, NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science (eds.) |
Dimacs Series in Discrete Mathematics and Theoretical Computer Science 35
Satisfiability Problem: Theory and Applications
0821804790, 9780821804797, 9781470439934, 147043993X |
American Mathematical Society |
1997 |
724 |
English |
8 |
djvu |
GET |
| 1497246 |
Donald E. Knuth |
The Art of Computer Programming, Volume 4, Fascicle 6: Satisfiability [1 ed.]
0134397606, 9780134397603 |
Addison-Wesley Professional |
2015 |
320 |
English |
9 |
pdf |
GET |
| 1321278 |
Donald Knuth |
The Art of Computer Programming. Volume 4, Pre-Fascicle 5A: Mathematical Preliminaries Redux & Volume 4, Pre-Fascicle 6A: A (Partial) Draft of Section 7.2.2.2: Satisfiability [Zeroth printing of each; rev. 18 of 5A, rev. -56 of 6A ed.] |
Addison-Wesley |
2015 |
0 |
English |
5 |
zip |
GET |
| 350076 |
Hossein M. Sheini, Karem A. Sakallah (auth.), Armin Biere, Carla P. Gomes (eds.) |
Lecture Notes in Computer Science 4121 : Theoretical Computer Science and General Issues
Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings [1 ed.]
3540372067, 9783540372066 |
Springer-Verlag Berlin Heidelberg |
2006 |
440 |
English |
5 |
pdf |
GET |
| 406726 |
Joao Marques-Silva, Karem A. Sakallah |
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) [1 ed.]
3540727876, 9783540727873, 9783540727880 |
|
2007 |
384 |
English |
4 |
pdf |
GET |
| 428689 |
Robert Nieuwenhuis (auth.), Oliver Kullmann (eds.) |
Lecture Notes in Computer Science 5584 : Theoretical Computer Science and General Issues
Theory and Applications of Satisfiability Testing - SAT 2009: 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings [1 ed.]
3642027768, 9783642027765 |
Springer-Verlag Berlin Heidelberg |
2009 |
540 |
English |
7 |
pdf |
GET |
| 917539 |
Robert Nieuwenhuis (auth.), Oliver Kullmann (eds.) |
Lecture Notes in Computer Science 5584 : Theoretical Computer Science and General Issues
Theory and Applications of Satisfiability Testing - SAT 2009: 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings [1 ed.]
9783642027765, 3642027768 |
Springer-Verlag Berlin Heidelberg |
2009 |
540 |
English |
7 |
pdf |
GET |
| 1134483 |
Robert Nieuwenhuis (auth.), Oliver Kullmann (eds.) |
Lecture Notes in Computer Science 5584 Theoretical Computer Science and General Issues
Theory and Applications of Satisfiability Testing - SAT 2009: 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings [1 ed.]
978-3-642-02776-5, 978-3-642-02777-2 |
Springer-Verlag Berlin Heidelberg |
2009 |
540 |
English |
10 |
pdf |
GET |
| 786459 |
Ryan Williams (auth.), Karem A. Sakallah, Laurent Simon (eds.) |
Lecture Notes in Computer Science 6695
Theory and Applications of Satisfiability Testing - SAT 2011: 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings [1 ed.]
3642215807, 9783642215803 |
Springer-Verlag Berlin Heidelberg |
2011 |
371 |
English |
4 |
pdf |
GET |
| 917541 |
Ryan Williams (auth.), Karem A. Sakallah, Laurent Simon (eds.) |
Lecture Notes in Computer Science 6695
Theory and Applications of Satisfiability Testing - SAT 2011: 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings [1 ed.] |
Springer-Verlag Berlin Heidelberg |
2011 |
371 |
English |
5 |
pdf |
GET |