Minimization of Visibly Pushdown Automata Using Partial Max-SAT.

Matthias Heizmann, Christian Schilling, Daniel Tischner

Browse the full TACAS paper archive.