𝔖 Bobbio Scriptorium

✦ LIBER ✦

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

✍ Scribed by Gent, Ian P.

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

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 Power of Clause-Learning SAT Solvers with Restarts

✍ Gent, Ian P. 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg ⚖ 273 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 - CP 2005 Volume 3709 || Integrating Benders Decomposition Within Constraint Programming

✍ van Beek, Peter 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 138 KB

[Lecture Notes in Computer Science] Prin

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming – CP 2011 Volume 6876 || Operations Research and Constraint Programming at Google

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

[Lecture Notes in Computer Science] Prin

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming – CP 2011 Volume 6876 || Orchestrating Satisfiability Engines

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

[Lecture Notes in Computer Science] Prin

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming – CP 2004 Volume 3258 || Impact-Based Search Strategies for Constraint Programming

✍ Wallace, Mark 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 183 KB