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

Florent Avellaneda, Alexandre Petrenko

Browse the full SEFM paper archive.