On matrices, automata, and double counting in constraint programming

Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson
January 2013
PDF Cite DOI
Type
Journal article
Publication
Constraints