Reducing Acceptance Marks in Emerson-Lei Automata by QBF Solving.

Tereza Schwarzov, Jan Strejcek, Juraj Major

Browse the full SAT paper archive.