Lucas Bordeaux, Marco Cadoli, Toni Mancini. Exploiting Fixable, Removable, and Implied Values in Constraint Satisfaction Problems. In Franz Baader, Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings. Volume 3452 of Lecture Notes in Computer Science, pages 270-284, Springer, 2004. [doi]
Abstract is missing.