Solving Boolean Satisfiability with Dynamic Hardware Configurations.

Peixin Zhong, Margaret Martonosi, Pranav Ashar, Sharad Malik

Browse the full FPL paper archive.