I am happy to announce that the following paper has been accepted in the International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR’15) : SAT-based Minimization of Deterministic ω-Automata Souheib Baarir and Alexandre Duret-Lutz. LRDE, EPITA, Le Kremlin-Bicêtre, France
A+, Soheib.