Implementing Boolean satisfiability in configurable hardware (1997)

by P Zhong, M Martonosi, P Ashar, S Malik
Venue:In International Workshop on Logic Synthesis