Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson. On Matrices, Automata, and Double Counting. In Andrea Lodi, Michela Milano, Paolo Toth, editors, Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010. Proceedings. Volume 6140 of Lecture Notes in Computer Science, pages 10-24, Springer, 2010. [doi]
Abstract is missing.