Arc Consistency during Search. - Chavalit Likitvivatanavong; Yuanlin Zhang 002; Scott Shannon; James Bowen; Eugene C. Freuder (IJCAI, 2007)