31 Aug
2015
31 Aug
'15
3: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.