Finding All Minimum-Size DFA Consistent with Given Examples: SAT-Based Approach.

Ilya Zakirzyanov, Anatoly Shalyto, Vladimir Ulyantsev

Browse the full SEFM paper archive.