Exact DFA Identification Using SAT Solvers

MJH Heule, SE Verwer

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

52 Citations (Scopus)
Original languageEnglish
Title of host publicationGrammatical Inference: Theoretical Results and Applications 10th International Colloquium, ICGI 2010
EditorsJM Sempere, P García
Place of PublicationBerlin
PublisherSpringer
Pages66-79
Number of pages14
ISBN (Print)978-3-642-15488
Publication statusPublished - 2010
Event10th International Colloquium on Grammatical Inference, ICGI 2010 - Berlin
Duration: 13 Sep 201016 Sep 2010

Publication series

Name
PublisherSpringer
NameLecture Notes in Computer Science
Volume6339
ISSN (Print)0302-9743

Conference

Conference10th International Colloquium on Grammatical Inference, ICGI 2010
Period13/09/1016/09/10

Keywords

  • CWTS JFIS < 0.75

Cite this

Heule, MJH., & Verwer, SE. (2010). Exact DFA Identification Using SAT Solvers. In JM. Sempere, & P. García (Eds.), Grammatical Inference: Theoretical Results and Applications 10th International Colloquium, ICGI 2010 (pp. 66-79). (Lecture Notes in Computer Science; Vol. 6339). Springer.