Jaco Geldenhuys, Brink van der Merwe, Lynette van Zijl. Reducing Nondeterministic Finite Automata with SAT Solvers. In Anssi Yli-Jyrä, András Kornai, Jacques Sakarovitch, Bruce W. Watson, editors, Finite-State Methods and Natural Language Processing, 8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, Revised Selected Papers. Volume 6062 of Lecture Notes in Computer Science, pages 81-92, Springer, 2009. [doi]
Abstract is missing.