%0 Journal Article %1 journals/tcad/ZhongMAM99 %A Zhong, Peixin %A Martonosi, Margaret %A Ashar, Pranav %A Malik, Sharad %D 1999 %J IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. %K dblp %N 6 %P 861-868 %T Using configurable computing to accelerate Boolean satisfiability. %U http://dblp.uni-trier.de/db/journals/tcad/tcad18.html#ZhongMAM99 %V 18

@article{journals/tcad/ZhongMAM99, added-at = {2023-09-30T00:00:00.000+0200}, author = {Zhong, Peixin and Martonosi, Margaret and Ashar, Pranav and Malik, Sharad}, biburl = {https://www.bibsonomy.org/bibtex/2e7c50537934c39d04d94c6450130bd08/dblp}, ee = {https://doi.org/10.1109/43.766733}, interhash = {87ca43a10b1b9ede1923dd9264eb4388}, intrahash = {e7c50537934c39d04d94c6450130bd08}, journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.}, keywords = {dblp}, number = 6, pages = {861-868}, timestamp = {2024-04-08T19:45:55.000+0200}, title = {Using configurable computing to accelerate Boolean satisfiability.}, url = {http://dblp.uni-trier.de/db/journals/tcad/tcad18.html#ZhongMAM99}, volume = 18, year = 1999 }