@inproceedings{,
	author          = {Marijn J.H. Heule and Sicco Verwer},
	title           = {Exact DFA Identification Using SAT Solvers},
	booktitle       = {Grammatical Inference: Theoretical Results and Applications 10th International Colloquium, ICGI 2010},
	publisher       = {Springer},
	year            = {2010},
	editor          = {José M. Sempere and Pedro García},
	volume          = {6339},
	series          = {Lecture Notes in Computer Science},
	pages           = {66-79},
	isbn            = {978-3-642-15488},
	url             = {http://www.st.ewi.tudelft.nl/~marijn/publications/DFA_ICGI.pdf},
	project         = {SAT},
	group           = {ALG}
}