Efficient CNF Simplification based on Binary Implication Graphs
Conference Paper
(2011)
Author(s)
MJH 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
Final published version
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
Publisher
Springer
Event
SAT2011 (2011-06-19 - 2011-06-22), Berlin, Germany
Downloads counter
133