[PDF] satisfiability Download




View results: Search for a phrase:
ISBN Language MD5 Extension

Library Search


8 books found also search"satisfiability" in ,
ID Author(s) Title Publisher Year Pages Language Size Extension GET
320257 A. Biere, A. Biere, M. Heule, H. Van Maaren, T. Walsh Handbook of Satisfiability IOS Press 2009 981 English 8 Mb pdf GET
822914 Stephan Eggersglüß, Rolf Drechsler (auth.) High Quality Test Pattern Generation and Boolean Satisfiability Springer-Verlag New York 2012 193 English 2 Mb pdf 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
Amer Mathematical Society 1997 724 English 63 Mb 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 Addison-Wesley 2015 0 English 5 Mb zip 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
Springer-Verlag Berlin Heidelberg 2011 371 English 4 Mb pdf GET
1292177 Carsten Sinz, Uwe Egly (eds.) Lecture Notes in Computer Science 8561 Theoretical Computer Science and General Issues
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 2014 448 English 9 Mb pdf GET
1133462 Carlos Ansótegui, Felip Manyà (auth.), Holger H. Hoos, David G. Mitchell (eds.) Lecture Notes in Computer Science 3542 Theoretical Computer Science and General Issues
Theory and Applications of Satisfiability Testing: 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
Springer-Verlag Berlin Heidelberg 2005 393 English 10 Mb pdf GET
1133471 Josep Argelich, Felip Manyà (auth.), Fahiem Bacchus, Toby Walsh (eds.) Lecture Notes in Computer Science 3569 Theoretical Computer Science and General Issues
Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings
Springer-Verlag Berlin Heidelberg 2005 492 English 5 Mb pdf GET

  Terje Wagener
Sigmund Freud
Sandra Jotzo, Brigitte Loibl, Wolfgang Baum
John Stanley, Linda Stanley
Victoriano Gaviño Rodríguez
Hudson Orsine Assumpção
Пилот
Robert Danhi, Corinne Trang
Прасолов В.В., Шварцман О.В.
Прасолов В. В.
Ратбон Э.
Рахула В.
Резниченко С.В.
Родионов В.М. (ред.), Наметкин С.С. (ред.), Мельников Н.Н. (ред.)
Розенбергер Ф.
Садовский М.В.
Самбиев А.
Саттер Г.
Günter Schicker
Антків М., Антків Ю.