Using a satisfiability solver to identify deterministic finite state automata

MJH Heule; SE Verwer

Using a satisfiability solver to identify deterministic finite state automata

Data-Intensive Systems

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

1 Citation (Scopus)

Original language	Undefined/Unknown
Title of host publication	BNAIC 2009 Benelux Conference on Artificial Intelligence
Editors	T Calders, K Tuyls, M Pechenizkiy
Place of Publication	Eindhoven
Publisher	BNAIC
Pages	91-98
Number of pages	8
ISBN (Print)	1568-7805
Publication status	Published - 2009
Event	BNAIC 2009: 21st Benelux Conference on Artificial Intelligence - Eindhoven, Netherlands Duration: 29 Oct 2009 → 30 Oct 2009 Conference number: 21

Publication series

Name
Publisher	BNAIC

Conference

Conference	BNAIC 2009
Country/Territory	Netherlands
City	Eindhoven
Period	29/10/09 → 30/10/09

Bibliographical note

Best Paper Award

Keywords

Conf.proc. > 3 pag

Cite this

@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; BNAIC 2009 ; 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",

}

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

T2 - BNAIC 2009

Y2 - 29 October 2009 through 30 October 2009

ER -

Using a satisfiability solver to identify deterministic finite state automata

Publication series

Conference

Bibliographical note

Keywords

Other files and links

Cite this