Publisher
Springer International Publishing
Reference6 articles.
1. Coste F, Nicolas J (1997) Regular inference as a graph coloring problem. In: Workshop on grammar inference, automata induction, and language acquisition, ICML 1997
2. Heule M, Verwer S (2010) Exact DFA identification using SAT solvers. In: Grammatical inference: theoretical results and applications 10th international colloquium, ICGI 2010, Lecture notes in computer science, vol 6339. Springer, pp 66–79
3. Imada K, Nakamura K (2009) Learning context free grammars by using SAT solvers. In: Proceedings of the 2009 international conference on machine learning and applications, IEEE computer society, pp 267–272
4. Jastrzab T, Czech ZJ, Wieczorek W (2016) Parallel induction of nondeterministic finite automata. In: Parallel processing and applied mathematics, Lecture notes in computer science, vol 9573. Springer International Publishing, pp 248–257
5. Wieczorek W (2012) Induction of non-deterministic finite automata on supercomputers. JMLR Workshop Conf Proc 21:237–242
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献