Ilya Zakirzyanov, António Morgado, Alexey Ignatiev, Vladimir Ulyantsev, João Marques-Silva. Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference. In Carlos Martín-Vide, Alexander Okhotin, Dana Shapira, editors, Language and Automata Theory and Applications - 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings. Volume 11417 of Lecture Notes in Computer Science, pages 159-173, Springer, 2019. [doi]
Abstract is missing.