Foundations of Artificial Intelligence, Vol. 2, Suppl. (C), 2006
Chapter 13 Constraints in Procedural and Concurrent Languages
This chapter addresses the integration of constraints and search into programming languages from three different points of views. It first focuses on the use of constraints to model combinatorial optimization problem and to easily implement search procedures, then it considers the use of constraints for supporting concurrent computations and finally turns to the use of constraints to enable open implementations of constraints solvers.
The idea of approaching hard combinatorial optimization problems through a combination ...