This page shows all presentations of this author published in EasyChair Smart Slide.
Reducing Acceptance Marks in Emerson-Lei Automata by QBF Solving
Tereza Schwarzová, Jan Strejček and Juraj Major