Accelerating Boolean Satisfiability with Configurable Hardware.

Peixin Zhong, Margaret Martonosi, Pranav Ashar, Sharad Malik

Browse the full FCCM paper archive.