✦ LIBER ✦

[Lecture Notes in Computer Science] Practical Aspects of Declarative Languages Volume 3819 || A Hybrid BDD and SAT Finite Domain Constraint Solver

✍ Scribed by Van Hentenryck, Pascal

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Prac

✍ Van Hentenryck, Pascal 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 368 KB

[Lecture Notes in Computer Science] Prac

✍ Dahl, Veronica; Wadler, Philip 📂 Article 📅 2002 🏛 Springer Berlin Heidelberg ⚖ 175 KB

[Lecture Notes in Computer Science] Prac

✍ Gupta, Gopal 📂 Article 📅 1998 🏛 Springer Berlin Heidelberg ⚖ 189 KB

[Lecture Notes in Computer Science] Prac

✍ Flatt, Matthew; Guo, Hai-Feng 📂 Article 📅 2014 🏛 Springer International Publishing ⚖ 284 KB

[Lecture Notes in Computer Science] Prac

✍ Russo, Claudio; Zhou, Neng-Fa 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 249 KB

[Lecture Notes in Computer Science] Prac

✍ Flatt, Matthew; Guo, Hai-Feng 📂 Article 📅 2014 🏛 Springer International Publishing ⚖ 237 KB