On matrices, automata, and double counting in constraint programming

DOI: 10.1007/s10601-012-9134-y

Authors

Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson
Constraints 18(1), January 2013

Publication date