External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Exact DFA Identification Using SAT Solvers

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]

Authors

Marijn J. H. Heule

This author has not been identified. Look up 'Marijn J. H. Heule' in Google

Sicco Verwer

This author has not been identified. Look up 'Sicco Verwer' in Google
runs on