Acte de conférence, colloque et atelier

Learning Minimal DFA: Taking Inspiration from RPNI to Improve SAT Approach

Avellaneda, F. et Petrenko, A. "Learning Minimal DFA: Taking Inspiration from RPNI to Improve SAT Approach" dans Proceedings of the 17th edition of the International Conference on Software Engineering and Formal Methods (SEFM 2019). Oslo, Norvège, du 16 au 20 septembre 2019

In: Ölveczky P., Salaün G. (eds) Software Engineering and Formal Methods. SEFM 2019. Lecture Notes in Computer Science, vol 11724. Springer, Cham