[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming Volume 8656 || On Compiling CNF into Decision-DNNF

✍ Scribed by O’Sullivan, Barry

• Book ID: 126092974
• Publisher: Springer International Publishing
• Year: 2014
• Tongue: English
• Weight: 343 KB
• Edition: 2
• Category: Article
• ISBN: 3319104284
• DOI: 10.1007/978-3-319-10428-7_7

✦ Synopsis

This book constitutes the refereed conference proceedings of the 20th International Conference on Principles and Practice of Constraint Programming, CP 2014, held in Lyon, France, in September 2014. The 65 revised papers presented together with 4 invited talks were carefully selected from 108 submissions. The scope of CP 2014 includes all aspects of computing with constraints, including theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource allocation, and agreement technologies.