Mandar Waghmode, Kanupriya Gulati, Sunil P. Khatri, Weiping Shi. An Efficient, Scalable Hardware Engine for Boolean SATisfiability. In 24th International Conference on Computer Design (ICCD 2006), 1-4 October 2006, San Jose, CA, USA. pages 326-331, IEEE, 2006. [doi]
Abstract is missing.