Implied constraints for Automaton constraints

Maria Andreina Francisco Rodriguez, Pierre Flener, Justin Pearson
January 2015
PDF Cite DOI
Type
Conference paper
Publication
GCAI 2015: Global Conference on Artificial Intelligence