Title: Programming with constraints
First published: 1998
Description: A comprehensive, self-contained introduction to constraint programming, in which programs are represented as relational equations between values and variables, and execution consists of assigning values to the variables that maintain the relational equations.
Subjects: Logic programming, Constraint programming (Computer science), Constraint programming (computer science), Programmation logique, Logisch programmeren, Programmation par contraintes, Logische Programmierung, Constraints (informatiewetenschap)
LC classification: QA76.63 .M37 1998