Title: Principles and Practice of Constraint Programming – CP 2011
Subjects: Logic design, Computer science, Artificial intelligence, Computer software, Constraint programming (computer science), Computation by Abstract Devices, Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Algorithm Analysis and Problem Complexity, Artificial Intelligence (incl. Robotics)