17 Feb 2005
CS 3243 - Constraint Satisfaction
37
Arc consistency algorithm AC-3
nTime complexity: O(n2d3)