Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference.

Ilya Zakirzyanov, Antnio Morgado, Alexey Ignatiev, Vladimir Ulyantsev, Joo Marques-Silva

Browse the full LATA paper archive.