Simulating Circuit-Level Simplifications on CNF
Journal Article
(2012)
Author(s)
M Järvisalo (External organisation)
A Biere (External organisation)
MJH Heule (TU Delft - Algorithmics)
Research Group
Algorithmics
To reference this document use:
https://resolver.tudelft.nl/uuid:b762804d-6c68-470a-872d-8f8300c986ea
More Info
expand_more
expand_more
Publication Year
2012
Language
English
Research Group
Algorithmics
Issue number
4
Volume number
49
Pages (from-to)
583-619
No files available
Metadata only record. There are no files for this record.