Christian Bessière Romuald Debruyne Optimal and Suboptimal Singleton Arc Consistency Algorithms. 54-59 2005 conf/ijcai/2005 IJCAI http://www.ijcai.org/papers/0495.pdf db/conf/ijcai/ijcai2005.html#BessiereD05