%0 Conference Paper %1 conf/dac/ChopraV04 %A Chopra, Kaviraj %A Vrudhula, Sarma B. K. %B DAC %D 2004 %E Malik, Sharad %E Fix, Limor %E Kahng, Andrew B. %I ACM %K dblp %P 767-772 %T Implicit pseudo boolean enumeration algorithms for input vector control. %U http://dblp.uni-trier.de/db/conf/dac/dac2004.html#ChopraV04 %@ 1-58113-828-8

@inproceedings{conf/dac/ChopraV04, added-at = {2018-11-06T00:00:00.000+0100}, author = {Chopra, Kaviraj and Vrudhula, Sarma B. K.}, biburl = {https://www.bibsonomy.org/bibtex/2eb6aa018e78ecc13598011e4291b6274/dblp}, booktitle = {DAC}, crossref = {conf/dac/2004}, editor = {Malik, Sharad and Fix, Limor and Kahng, Andrew B.}, ee = {https://doi.org/10.1145/996566.996774}, interhash = {813c0403056386e05ecef6206f369c55}, intrahash = {eb6aa018e78ecc13598011e4291b6274}, isbn = {1-58113-828-8}, keywords = {dblp}, pages = {767-772}, publisher = {ACM}, timestamp = {2018-11-07T15:12:58.000+0100}, title = {Implicit pseudo boolean enumeration algorithms for input vector control.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac2004.html#ChopraV04}, year = 2004 }