Peixin Zhong Pranav Ashar Sharad Malik Margaret Martonosi Using Reconfigurable Computing Techniques to Accelerate Problems in the CAD Domain: A Case Study with Boolean Satisfiability. 194-199 1998 DAC http://doi.acm.org/10.1145/277044.277098 db/conf/dac/dac98.html#ZhongAMM98