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]
@inproceedings{WaghmodeGKS06,
title = {An Efficient, Scalable Hardware Engine for Boolean SATisfiability},
author = {Mandar Waghmode and Kanupriya Gulati and Sunil P. Khatri and Weiping Shi},
year = {2006},
url = {http://www.iccd-conference.org/proceedings/2006/paper_138.pdf},
researchr = {https://researchr.org/publication/WaghmodeGKS06},
cites = {0},
citedby = {0},
pages = {326-331},
booktitle = {24th International Conference on Computer Design (ICCD 2006), 1-4 October 2006, San Jose, CA, USA},
publisher = {IEEE},
}