Standard

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/Report/Conference proceedingConference contributionScientificpeer-review

Harvard

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. Lecture Notes in Computer Science, vol. 6339, Springer, Berlin, pp. 66-79, 10th International Colloquium on Grammatical Inference, ICGI 2010, 13/09/10.

APA

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). Berlin: Springer.

Vancouver

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

Author

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

BibTeX

@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",

}

RIS

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

ER -

ID: 3413643