31 Aug
2015
31 Aug
'15
1:42 p.m.
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.