Kaviraj Chopra, Sarma B. K. Vrudhula. Implicit pseudo boolean enumeration algorithms for input vector control. In Sharad Malik, Limor Fix, Andrew B. Kahng, editors, Proceedings of the 41th Design Automation Conference, DAC 2004, San Diego, CA, USA, June 7-11, 2004. pages 767-772, ACM, 2004. [doi]
@inproceedings{ChopraV04,
title = {Implicit pseudo boolean enumeration algorithms for input vector control},
author = {Kaviraj Chopra and Sarma B. K. Vrudhula},
year = {2004},
doi = {10.1145/996566.996774},
url = {http://doi.acm.org/10.1145/996566.996774},
researchr = {https://researchr.org/publication/ChopraV04},
cites = {0},
citedby = {0},
pages = {767-772},
booktitle = {Proceedings of the 41th Design Automation Conference, DAC 2004, San Diego, CA, USA, June 7-11, 2004},
editor = {Sharad Malik and Limor Fix and Andrew B. Kahng},
publisher = {ACM},
isbn = {1-58113-828-8},
}