Automated Reencoding of Boolean Formulas
Conference Paper
(2012)
Author(s)
N Manthey (External organisation)
MJH Heule (TU Delft - Algorithmics)
A Biere (External organisation)
Research Group
Algorithmics
To reference this document use
https://resolver.tudelft.nl/uuid:5c4a411d-df3f-4840-80c7-6ba5e29e5d31
More Info
expand_more
expand_more
Publication Year
2012
Language
English
Research Group
Algorithmics
Pages (from-to)
1-16
Publisher
Springer
Event
Haifa Verification Conference 2012 (2012-11-06 - 2012-11-08), Berin
Downloads counter
115
No files available
Metadata only record. There are no files for this record.