A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints

Thierry Petit, Nicolas Beldiceanu, Xavier Lorca. A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints. In Toby Walsh, editor, IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011. pages 643-648, IJCAI/AAAI, 2011. [doi]

Authors

Thierry Petit

This author has not been identified. Look up 'Thierry Petit' in Google

Nicolas Beldiceanu

This author has not been identified. It may be one of the following persons: Look up 'Nicolas Beldiceanu' in Google

Xavier Lorca

This author has not been identified. Look up 'Xavier Lorca' in Google