<PI, mathematics> A Boolean relation, often an equality or inequality relation, between the values of one or more variables (often two). E.g. x>3 is a constraint on x. constraint satisfaction is the process of assigning values to variables so that all constraints are true.
Usenet newsgroup: comp.constraints. FAQ.
Try this search on OneLook / Google