%0 Conference Paper %1 conf/dac/ZhongAMM98 %A Zhong, Peixin %A Ashar, Pranav %A Malik, Sharad %A Martonosi, Margaret %B DAC %D 1998 %E Chawla, Basant R. %E Bryant, Randal E. %E Rabaey, Jan M. %I ACM Press %K dblp %P 194-199 %T Using Reconfigurable Computing Techniques to Accelerate Problems in the CAD Domain: A Case Study with Boolean Satisfiability. %U http://dblp.uni-trier.de/db/conf/dac/dac98.html#ZhongAMM98 %@ 0-89791-964-5

@inproceedings{conf/dac/ZhongAMM98, added-at = {2023-09-30T00:00:00.000+0200}, author = {Zhong, Peixin and Ashar, Pranav and Malik, Sharad and Martonosi, Margaret}, biburl = {https://www.bibsonomy.org/bibtex/20e0c013087cff5d058d8e96f9acdf33c/dblp}, booktitle = {DAC}, crossref = {conf/dac/1998}, editor = {Chawla, Basant R. and Bryant, Randal E. and Rabaey, Jan M.}, ee = {https://doi.org/10.1145/277044.277098}, interhash = {5116b48e6cdcd3e01d03222bcadcbe44}, intrahash = {0e0c013087cff5d058d8e96f9acdf33c}, isbn = {0-89791-964-5}, keywords = {dblp}, pages = {194-199}, publisher = {ACM Press}, timestamp = {2024-04-10T20:54:11.000+0200}, title = {Using Reconfigurable Computing Techniques to Accelerate Problems in the CAD Domain: A Case Study with Boolean Satisfiability.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac98.html#ZhongAMM98}, year = 1998 }