On matrices, automata, and double counting

Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson
January 2010
PDF Cite DOI
Type
Conference paper
Publication
CP-AI-OR 2010