Exact DFA Identification Using SAT Solvers

MJH Heule; SE Verwer

Exact DFA Identification Using SAT Solvers

Data-Intensive Systems

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

77 Citations (Scopus)

Original language	English
Title of host publication	Grammatical Inference: Theoretical Results and Applications 10th International Colloquium, ICGI 2010
Editors	JM Sempere, P García
Place of Publication	Berlin
Publisher	Springer
Pages	66-79
Number of pages	14
ISBN (Print)	978-3-642-15488
Publication status	Published - 2010
Event	10th International Colloquium on Grammatical Inference, ICGI 2010 - Berlin Duration: 13 Sept 2010 → 16 Sept 2010

Publication series

Name
Publisher	Springer

Name	Lecture Notes in Computer Science
Volume	6339
ISSN (Print)	0302-9743

Conference

Conference	10th International Colloquium on Grammatical Inference, ICGI 2010
Period	13/09/10 → 16/09/10

Keywords

CWTS JFIS < 0.75

Cite this

@inproceedings{6f0e7dfa4c964a83a2ca37f32a0bf97f,

title = "Exact DFA Identification Using SAT Solvers",

keywords = "CWTS JFIS < 0.75",

author = "MJH Heule and SE Verwer",

year = "2010",

language = "English",

isbn = "978-3-642-15488",

publisher = "Springer",

pages = "66--79",

editor = "JM Sempere and P Garc{\'i}a",

booktitle = "Grammatical Inference: Theoretical Results and Applications 10th International Colloquium, ICGI 2010",

note = "10th International Colloquium on Grammatical Inference, ICGI 2010 ; Conference date: 13-09-2010 Through 16-09-2010",

}

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

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

TY - GEN

T1 - Exact DFA Identification Using SAT Solvers

AU - Heule, MJH

AU - Verwer, SE

PY - 2010

Y1 - 2010

KW - CWTS JFIS < 0.75

UR - http://www.st.ewi.tudelft.nl/~marijn/publications/DFA_ICGI.pdf

M3 - Conference contribution

SN - 978-3-642-15488

SP - 66

EP - 79

BT - Grammatical Inference: Theoretical Results and Applications 10th International Colloquium, ICGI 2010

A2 - Sempere, JM

A2 - García, P

PB - Springer

CY - Berlin

T2 - 10th International Colloquium on Grammatical Inference, ICGI 2010

Y2 - 13 September 2010 through 16 September 2010

ER -

Exact DFA Identification Using SAT Solvers

Publication series

Conference

Keywords

Other files and links

Cite this