A Booleanrelation, often an equality or ineqality relation, between the values of one or more mathematical variables (often two). E.g. x>3 is a constraint on x. constraint sATISfaction attempts to assign values to variables so that all constraints are true. Usenet newsgroup: news:comp.constraints. {FAQ (http://www.cs.unh.edu/ccc/archive/)}. (2002-06-08)