Marijn J. H. Heule, Sicco Verwer. Exact DFA Identification Using SAT Solvers. In José M. Sempere, Pedro García, editors, Grammatical Inference: Theoretical Results and Applications, 10th International Colloquium, ICGI 2010, Valencia, Spain, September 13-16, 2010. Proceedings. Volume 6339 of Lecture Notes in Computer Science, pages 66-79, Springer, 2010. [doi]
Abstract is missing.