𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[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

✍ Scribed by Lee, Jimmy


Book ID
118212225
Publisher
Springer Berlin Heidelberg
Year
2011
Weight
665 KB
Category
Article
ISBN
364223786X

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES