Exact DFA Identification Using SAT Solvers
Conference Paper
(2010)
Authors
MJH Heule (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/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
ISBN (print)
978-3-642-15488
No files available
Metadata only record. There are no files for this record.