SAT-Based Minimization of Deterministic \omega -Automata.

Souheib Baarir, Alexandre Duret-Lutz

Browse the full LPAR paper archive.