Peixin Zhong Margaret Martonosi Pranav Ashar Sharad Malik Using configurable computing to accelerate Boolean satisfiability. 861-868 1999 18 IEEE Trans. on CAD of Integrated Circuits and Systems 6 http://doi.ieeecomputersociety.org/10.1109/43.766733 db/journals/tcad/tcad18.html#ZhongMAM99