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
  • Prompt RT @Prompt_Innov: [ WEXPERT ?La Ville intelligente Nos intervenants : Philippe Beaudoin, co-fondateur d’ @element_ai Stéphane Barbier, di…
  • CEIM RT @CEIM_Qc: Bonne nouvelle! Le gala de l' @ADRIQ_RCTi aura bien lieu, que ce soit en présentiel ou en virtuel! Ne passez pas à côté de cet…