Vladimir Ulyantsev, Fedor Tsarev. Extended Finite-State Machine Induction Using SAT-Solver. In Xue-wen Chen, Tharam S. Dillon, Hisao Ishbuchi, Jian Pei, Haixun Wang, M. Arif Wani, editors, 10th International Conference on Machine Learning and Applications and Workshops, ICMLA 2011, Honolulu, Hawaii, USA, December 18-21, 2011. Volume 2: Special Sessions and Workshop. pages 346-349, IEEE Computer Society, 2011. [doi]
Abstract is missing.