TY  - RPRT
TI  - Minimization of Visibly Pushdown Automata Using Partial Max-SAT
AU  - Matthias Heizmann
AU  - Christian Schilling
AU  - Daniel Tischner
PY  - 2017
DO  - 10.1007/978-3-662-54577-5_27
UR  - https://arxiv.org/abs/1701.05160
ID  - 1701.05160
ER  -