𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Logics in Artificial Intelligence Volume 2424 || A DPLL-Based Calculus for Ground Satisfiability Modulo Theories

✍ Scribed by Flesca, Sergio; Greco, Sergio; Ianni, Giovambattista; Leone, Nicola

Book ID
120626072
Publisher
Springer Berlin Heidelberg
Year
2002
Weight
563 KB
Category
Article
ISBN
3540457577

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

[Lecture Notes in Computer Science] Logi
[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 3452 || Abstract DPLL and Abstract DPLL Modulo Theories
✍ Baader, Franz; Voronkov, Andrei πŸ“‚ Article πŸ“… 2005 πŸ› Springer Berlin Heidelberg 🌐 German βš– 238 KB

This Book Constitutes The Refereed Proceedings Of The 11th International Conference On Logic For Programming, Artificial Intelligence, And Reasoning, Lpar 2004, Held In Montevideo, Uruguay In March 2005. The 33 Revised Full Papers Presented Together With Abstracts Of 4 Invited Papers Were Carefully

[Lecture Notes in Computer Science] Logi
[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 4246 || Theory Instantiation
✍ Hermann, Miki; Voronkov, Andrei πŸ“‚ Article πŸ“… 2006 πŸ› Springer Berlin Heidelberg 🌐 German βš– 252 KB

This Book Constitutes The Refereed Proceedings Of The 13th International Conference On Logic For Programming, Artificial Intelligence, And Reasoning, Lpar 2006, Held In Phnom Penh, Cambodia In November 2006. The 38 Revised Full Papers Presented Together With One Invited Talk Were Carefully Reviewed