A High-Level Intermediate Language and the Algorithms for Compiling Finite-Domain Constraints.

Published in: IJCSLP (1998)

Keyphrases

finite domain
high level
constraint logic programming
orders of magnitude
constraint solving
programming language
constraint programming
constraint solver
optimization problems
decision problems