Accelerating Boolean satisfiability with configurable hardware

Peixin Zhong, Margaret Rose Martonosi, P. Ashar, Sharad Malik

Research output: Chapter in Book/Report/Conference proceedingConference contribution

43 Scopus citations

Fingerprint Dive into the research topics of 'Accelerating Boolean satisfiability with configurable hardware'. Together they form a unique fingerprint.

Engineering & Materials Science