Conference , Workshops Proceedings

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, 16 to 20 September 2019

In: Ölveczky P., Salaün G. (eds) Software Engineering and Formal Methods. SEFM 2019. Lecture Notes in Computer Science, vol 11724. Springer, Cham
  • ????Vous connaissez le @cooperathon? En collaboration avec @mtlnewtech, 12 organisations vous lancent défis d’innovati… https://t.co/JebU85JvOk
  • @inocanada - Deuxième appel à candidatures QUANTINO Vous avez une entreprise innovante en démarrage oeuvrant en opt… https://t.co/78cOFuEZq4