Constraint Programming, or at the Crossroads of Mathematics and Computer Science

Krzysztof R. Apt, CWI

Constraint programming is an alternative approach to programming in which the programming process is limited to a generation of requirements (constraints) and a solution of these requirements by means of general or domain specific methods.

In this lecture we clarify what accounts for the success of this approach to programming and explain why use of constraints calls for new type of programming languages.