Exploiting Fixable, Removable, and Implied Values in Constraint Satisfaction Problems

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]

Authors

Lucas Bordeaux

This author has not been identified. Look up 'Lucas Bordeaux' in Google

Marco Cadoli

This author has not been identified. Look up 'Marco Cadoli' in Google

Toni Mancini

This author has not been identified. Look up 'Toni Mancini' in Google