Skip to content
You are not logged in |Login  
     
Limit search to available items
Record:   Prev Next
Resources
More Information
Bestseller
BestsellerE-book

Title Handbook of satisfiability / edited by Armin Biere [and others].

Publication Info. Amsterdam ; Washington, DC : IOS Press, [2009]
©2009

Item Status

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