Standard

Using a satisfiability solver to identify deterministic finite state automata. / Heule, MJH; Verwer, SE.

BNAIC 2009 Benelux Conference on Artificial Intelligence. ed. / T Calders; K Tuyls; M Pechenizkiy. Eindhoven : BNAIC, 2009. p. 91-98.

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

Harvard

Heule, MJH & Verwer, SE 2009, Using a satisfiability solver to identify deterministic finite state automata. in T Calders, K Tuyls & M Pechenizkiy (eds), BNAIC 2009 Benelux Conference on Artificial Intelligence. BNAIC, Eindhoven, pp. 91-98, BNAIC 2009, Eindhoven, Netherlands, 29/10/09.

APA

Heule, MJH., & Verwer, SE. (2009). Using a satisfiability solver to identify deterministic finite state automata. In T. Calders, K. Tuyls, & M. Pechenizkiy (Eds.), BNAIC 2009 Benelux Conference on Artificial Intelligence (pp. 91-98). BNAIC.

Vancouver

Heule MJH, Verwer SE. Using a satisfiability solver to identify deterministic finite state automata. In Calders T, Tuyls K, Pechenizkiy M, editors, BNAIC 2009 Benelux Conference on Artificial Intelligence. Eindhoven: BNAIC. 2009. p. 91-98

Author

Heule, MJH ; Verwer, SE. / Using a satisfiability solver to identify deterministic finite state automata. BNAIC 2009 Benelux Conference on Artificial Intelligence. editor / T Calders ; K Tuyls ; M Pechenizkiy. Eindhoven : BNAIC, 2009. pp. 91-98

BibTeX

@inproceedings{3eb961b034b94f15b413c41e08e4c0c7,
title = "Using a satisfiability solver to identify deterministic finite state automata",
keywords = "Conf.proc. > 3 pag",
author = "MJH Heule and SE Verwer",
note = "Best Paper Award; null ; Conference date: 29-10-2009 Through 30-10-2009",
year = "2009",
language = "Undefined/Unknown",
isbn = "1568-7805",
publisher = "BNAIC",
pages = "91--98",
editor = "T Calders and K Tuyls and M Pechenizkiy",
booktitle = "BNAIC 2009 Benelux Conference on Artificial Intelligence",

}

RIS

TY - GEN

T1 - Using a satisfiability solver to identify deterministic finite state automata

AU - Heule, MJH

AU - Verwer, SE

N1 - Conference code: 21

PY - 2009

Y1 - 2009

KW - Conf.proc. > 3 pag

UR - http://www.st.ewi.tudelft.nl/%7Emarijn/publications/bnaic2009.pdf

M3 - Conference contribution

SN - 1568-7805

SP - 91

EP - 98

BT - BNAIC 2009 Benelux Conference on Artificial Intelligence

A2 - Calders, T

A2 - Tuyls, K

A2 - Pechenizkiy, M

PB - BNAIC

CY - Eindhoven

Y2 - 29 October 2009 through 30 October 2009

ER -

ID: 1911510