Description |
1 online resource (xiii, 966 pages) : illustrations. |
Physical Medium |
polychrome |
Description |
text file |
Series |
Frontiers in artificial intelligence and applications,
0922-6389 ;
v. 185
|
|
Frontiers in artificial intelligence and applications ; v. 185.
|
Bibliography |
Includes bibliographical references and indexes. |
Contents |
Title page; Contents; Part I. Theory and Algorithms; Chapter 1. A History of Satisfiability; Chapter 2. CNF Encodings; Chapter 3. Complete Algorithms; Chapter 4. CDCL Solvers; Chapter 5. Look-Ahead Based SAT Solvers; Chapter 6. Incomplete Algorithms; Chapter 7. Fundaments of Branching Heuristics; Chapter 8. Random Satisfiability; Chapter 9. Exploiting Runtime Variation in Complete Solvers; Chapter 10. Symmetry and Satisfiability; Chapter 11. Minimal Unsatisfiability and Autarkies; Chapter 12. Worst-Case Upper Bounds; Chapter 13. Fixed-Parameter Tractability. |
Summary |
A collection of papers on various theoretical and practical aspects of SAT solving. It is suitable for students and researchers. |
Access |
Use copy Restrictions unspecified MiAaHDL |
Reproduction |
Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2011. MiAaHDL |
System Details |
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. http://purl.oclc.org/DLF/benchrepro0212 MiAaHDL |
Processing Action |
digitized 2011 HathiTrust Digital Library committed to preserve MiAaHDL |
Local Note |
eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - North America |
Subject |
Propositional calculus -- Congresses.
|
|
Propositional calculus. |
|
Decision making -- Congresses.
|
|
Decision making. |
|
Computer algorithms -- Congresses.
|
|
Computer algorithms. |
|
Algebra, Boolean -- Congresses.
|
|
Algebra, Boolean. |
Genre/Form |
Electronic books.
|
|
Conference papers and proceedings.
|
|
Electronic books.
|
|
Conference papers and proceedings.
|
Added Author |
Biere, Armin.
|
Other Form: |
Print version: Handbook of satisfiability. Amsterdam, the Netherlands ; Washington, DC : IOS Press, ©2009 9781586039295 1586039296 (OCoLC)290492523 |
ISBN |
9781441616784 (electronic book) |
|
1441616780 (electronic book) |
|
9781607503767 (ebook) |
|
160750376X (ebook) |
|
9781586039295 |
|
1586039296 |
|