An Algebraic Approach to Multi-sorted Constraints.

Andrei A. Bulatov Peter Jeavons

Published in: CP (2003)

Keyphrases

linear constraints
constraint satisfaction
geometric constraints
constrained optimization
query language
semi supervised
constraint programming
resource constraints
physical constraints