Simulating Circuit-Level Simplifications on CNF

M Järvisalo, A Biere, MJH Heule

Research output: Contribution to journalArticleScientificpeer-review

46 Citations (Scopus)
Original languageEnglish
Pages (from-to)583-619
Number of pages37
JournalJournal of Automated Reasoning
Volume49
Issue number4
Publication statusPublished - 2012

Keywords

  • CWTS JFIS < 0.75

Cite this