Reducing Acceptance Marks in Emerson-Lei Automata by QBF Solving. - Tereza Schwarzová; Jan Strejcek; Juraj Major (SAT, 2023)