Accelerating boolean satisfiability through application specific processing

Ying Zhao, Sharad Malik, Matthew Moskewicz, Conor Madigan

Research output: Contribution to journalArticle

12 Scopus citations

Fingerprint Dive into the research topics of 'Accelerating boolean satisfiability through application specific processing'. Together they form a unique fingerprint.

Engineering & Materials Science