Constraint processing. (2003)