Efficient CNF Simplification based on Binary Implication Graphs
Conference Paper
(2011)
Author(s)
M.J.H. Heule (TU Delft - Algorithmics)
M Jarvisalo (External organisation)
A Biere (External organisation)
Research Group
Algorithmics
DOI related publication
https://doi.org/10.1007/978-3-642-21581-0
To reference this document use:
https://resolver.tudelft.nl/uuid:02be2a9a-663f-4e1b-bff5-b2f2e2dc392d
More Info
expand_more
expand_more
Publication Year
2011
Language
English
Research Group
Algorithmics
Pages (from-to)
201-215
No files available
Metadata only record. There are no files for this record.