Peixin Zhong Margaret Martonosi Pranav Ashar Sharad Malik Accelerating Boolean Satisfiability with Configurable Hardware. 186-195 1998 conf/fccm/1998 FCCM http://csdl.computer.org/dl/proceedings/fccm/1998/8900/00/89000186.pdf db/conf/fccm/fccm1998.html#ZhongMAM98