30 November 2005 Foundations of Logic and Constraint Programming 1 Constraint (Logic) Programming An overview Optimising Arc Consistency Path Consistency.
CSPs: Arc Consistency & Domain Splitting Computer Science cpsc322, Lecture 13