Recent Advances in Constraints : 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers
Publication year: 2008
: 978-3-540-89812-2
This book address all aspects of constraint and logic programming, including foundational issues, implementation techniques, new applications as well as teaching issues. Particular emphasis is placed on assessing the current state of the art and identifying future directions.
: Computer Science / Artificial Intelligence / Programming Languages, Compilers, Interpreters / Programming Techniques / Logics and Meanings of Programs / Algorithm Analysis and Problem Complexity / Numeric Computing / Constraint / arithmetic constraint / constraint logic programming / constraint networks / constraint optimization / constraint problem solving / constraint processing / constraint programming / constraint search / constraint solving / heuristics / hybrid algorithms / interval co / logic / algorithm analysis and problem complexity
