Title: Principles and Practice of Constraint ProgramingCP 2013
Description: This book constitutes the refereed conference proceedings of the 19th International Conference on Principles and Practice of Constraint Programming (CP 2013), held in Uppsala, Sweden, in September 2013. The 59 revised papers presented together with 5 invited talks were carefully selected from 170 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.
Subjects: Constraint programming (computer science), Computer science, Computer software, Logic design, Electronic data processing, Computational complexity, Mathematical Logic and Formal Languages, Numeric Computing, Algorithm Analysis and Problem Complexity, Logics and Meanings of Programs, Discrete Mathematics in Computer Science, Programming Languages, Compilers, Interpreters