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.