Authors: Zhong, PX Martonosi, M Ashar, P Malik, S

Citation: Px. Zhong et al., Using configurable computing to accelerate Boolean satisfiability, IEEE COMP A, 18(6), 1999, pp. 861-868