[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming Volume 8124 || MinSAT versus MaxSAT for Optimization Problems

✍ Scribed by Schulte, Christian

• Book ID: 121350438
• Publisher: Springer Berlin Heidelberg
• Year: 2013
• Tongue: English
• Weight: 226 KB
• Edition: 2
• Category: Article
• ISBN: 3642406270
• DOI: 10.1007/978-3-642-40627-0_13

✦ Synopsis

This book constitutes the refereed conference proceedings of the 18th International Conference on Principles and Practice of Constraint Programming (CP 2013), held in Uppsala, Sweden, in September 2013. The 61 revised papers presented together with 3 invited talks were carefully selected from 138 submissions. The scope of the conference is on all aspects of computing with constraints, including: theory, algorithms, environments, languages, models and systems, applications such as decision making, resource allocation, and agreement technologies.