Using a satisfiability solver to identify deterministic finite state automata
Conference Paper
(2009)
Author(s)
M.J.H. Heule (TU Delft - Old - EWI Ch. Optimization Technology)
S.E. Verwer (TU Delft - Data-Intensive Systems)
Research Group
Old - EWI Ch. Optimization Technology
To reference this document use:
https://resolver.tudelft.nl/uuid:3eb961b0-34b9-4f15-b413-c41e08e4c0c7
More Info
expand_more
expand_more
Publication Year
2009
Research Group
Old - EWI Ch. Optimization Technology
Pages (from-to)
91-98
ISBN (print)
1568-7805
No files available
Metadata only record. There are no files for this record.