Handbook of Satisfiability 论文
2021Frontiers in artificial intelligence and applications引用 1018
Constraint Satisfaction and OptimizationFormal Methods in VerificationComplexity and Algorithms in Graphs
详细信息
- 发表期刊/会议
- Frontiers in artificial intelligence and applications
- 发表日期
- 2021-02-02
- 发表年份
- 2021
关键词
Constraint Satisfaction and OptimizationFormal Methods in VerificationComplexity and Algorithms in Graphs
摘要
Intro -- Title Page -- Preface First Edition -- Preface Second Edition -- Contents -- Part I. Theory and Algorithms -- Chapter 1. A History of Satisfiability -- Chapter 2. CNF Encodings -- Chapter 3. Complete Algorithms -- Chapter 4. CDCL SAT Solving -- Chapter 5. Look-Ahead Based SAT Solvers -- Chapter 6. Incomplete Algorithms -- Chapter 7. Proof Complexity and SAT Solving -- Chapter 8. Fundaments of Branching Heuristics -- Chapter 9. Preprocessing in SAT Solving -- Chapter 10. Random Satisfiability -- Chapter 11. Exploiting Runtime Variation in Complete Solvers