Exact DFA Identification Using SAT Solvers
Conference Paper
(2010)
Author(s)
MJH Heule (TU Delft - Old - EWI Ch. Optimization Technology)
SE Verwer (TU Delft - Data-Intensive Systems)
Research Group
Old - EWI Ch. Optimization Technology
To reference this document use
https://resolver.tudelft.nl/uuid:6f0e7dfa-4c96-4a83-a2ca-37f32a0bf97f
More Info
expand_more
expand_more
Publication Year
2010
Language
English
Research Group
Old - EWI Ch. Optimization Technology
Pages (from-to)
66-79
Publisher
Springer
ISBN (print)
978-3-642-15488
Event
10th International Colloquium on Grammatical Inference, ICGI 2010 (2010-09-13 - 2010-09-16), Berlin
Downloads counter
177
No files available
Metadata only record. There are no files for this record.