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

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-030-30446-1_13 ◽

2019 ◽

pp. 243-256

Author(s):

Florent Avellaneda ◽

Alexandre Petrenko

Download Full-text