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
More Info
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.