@inproceedings{,
	author          = {Marijn J. H. Heule and Sicco Verwer},
	title           = {Using a satisfiability solver to identify deterministic finite state automata},
	booktitle       = {BNAIC 2009},
	publisher       = {BNAIC},
	year            = {2009},
	editor          = {Toon Calders and Karl Tuyls and Mykola Pechenizkiy},
	pages           = {91-98},
	note            = {Best A paper award},
	isbn            = {1568-7805},
	location        = {October 29-30, 2009, Eindhoven},
	url             = {http://www.st.ewi.tudelft.nl/~marijn/publications/bnaic2009.pdf},
	project         = {SAT},
	group           = {ALG}
}