Simulating Circuit-Level Simplifications on CNF

M Järvisalo, A Biere, MJH Heule

Research output: Contribution to journal › Article › Scientific › peer-review

Original language	English
Pages (from-to)	583-619
Number of pages	37
Journal	Journal of Automated Reasoning
Volume	49
Issue number	4
Publication status	Published - 2012

Keywords

@article{b762804d6c68470a872d8f8300c986ea,

title = "Simulating Circuit-Level Simplifications on CNF",

keywords = "CWTS JFIS < 0.75",

author = "M J{\"a}rvisalo and A Biere and MJH Heule",

year = "2012",

language = "English",

volume = "49",

pages = "583--619",

journal = "Journal of Automated Reasoning",

issn = "0168-7433",

publisher = "Springer",

number = "4",

}