Minimization of Visibly Pushdown Automata Using Partial Max-SAT

From MaRDI portal
Publication:3303909

DOI10.1007/978-3-662-54577-5_27zbMath1452.68107arXiv1701.05160OpenAlexW2582132278MaRDI QIDQ3303909

Daniel Tischner, Christian Schilling, Matthias Heizmann

Publication date: 5 August 2020

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1701.05160




Related Items


Uses Software


Cites Work