Chavalit Likitvivatanavong Yuanlin Zhang James Bowen Eugene C. Freuder Maintaining Arc Consistency using Adaptive Domain Ordering. 1527-1528 2005 conf/ijcai/2005 IJCAI http://www.ijcai.org/papers/post-0046.pdf db/conf/ijcai/ijcai2005.html#LikitvivatanavongZBF05