𝔖 Bobbio Scriptorium

✦ LIBER ✦

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming - CP 2009 Volume 5732 || On the Power of Clause-Learning SAT Solvers with Restarts

✍ Scribed by Gent, Ian P.

Book ID: 120639508
Publisher: Springer Berlin Heidelberg
Year: 2009
Weight: 273 KB
Category: Article
ISBN: 3642042449
DOI: 10.1007/978-3-642-04244-7_51

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Prin

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming - CP 2009 Volume 5732 || On the Structure of Industrial SAT Instances

✍ Gent, Ian P. 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg ⚖ 766 KB

[Lecture Notes in Computer Science] Prin

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming – CP 2011 Volume 6876 || Grid-Based SAT Solving with Iterative Partitioning and Clause Learning

✍ Lee, Jimmy 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 665 KB

[Lecture Notes in Computer Science] Prin

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming - CP 2009 Volume 5732 || Minimizing the Maximum Number of Open Stacks by Customer Search

✍ Gent, Ian P. 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg ⚖ 238 KB

[Lecture Notes in Computer Science] Prin

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming — CP96 Volume 1118 || Efficient constraint propagation with good space complexity

✍ Freuder, Eugene C. 📂 Article 📅 1996 🏛 Springer Berlin Heidelberg ⚖ 142 KB

[Lecture Notes in Computer Science] Prin

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming – CP 2011 Volume 6876 || Solving Problems with CP: Four Common Pitfalls to Avoid

✍ Lee, Jimmy 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 245 KB

[Lecture Notes in Computer Science] Prin

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming – CP 2000 Volume 1894 || On Dual Encodings for Non-binary Constraint Satisfaction Problems

✍ Dechter, Rina 📂 Article 📅 2000 🏛 Springer Berlin Heidelberg ⚖ 124 KB