Generating Linear Invariants for a Conjunction of Automata Constraints.

Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis

Browse the full CP paper archive.