Generation of Implied Constraints for Automaton-Induced Decompositions.

Mara Andrena Francisco Rodrguez, Pierre Flener, Justin Pearson

Browse the full ICTAI paper archive.