Generation of implied constraints for automaton-induced decompositions

Maria Andreina Francisco Rodriguez, Pierre Flener, Justin Pearson
January 2013
PDF Cite DOI
Type
Conference paper
Publication
ICTAI 2013