%0 Conference Paper %1 conf/iccad/GuptaYAZM01 %A Gupta, Aarti %A Yang, Zijiang %A Ashar, Pranav %A Zhang, Lintao %A Malik, Sharad %B ICCAD %D 2001 %E Ernst, Rolf %I IEEE Computer Society %K dblp %P 286-292 %T Partition-Based Decision Heuristics for Image Computation Using SAT and BDDs. %U http://dblp.uni-trier.de/db/conf/iccad/iccad2001.html#GuptaYAZM01 %@ 0-7803-7249-2

@inproceedings{conf/iccad/GuptaYAZM01, added-at = {2023-09-30T00:00:00.000+0200}, author = {Gupta, Aarti and Yang, Zijiang and Ashar, Pranav and Zhang, Lintao and Malik, Sharad}, biburl = {https://www.bibsonomy.org/bibtex/25c051d035781878a325d0021e02dd007/dblp}, booktitle = {ICCAD}, crossref = {conf/iccad/2001}, editor = {Ernst, Rolf}, ee = {http://dl.acm.org/citation.cfm?id=603154}, interhash = {c37242d923f7561bda809fd3bd443c6f}, intrahash = {5c051d035781878a325d0021e02dd007}, isbn = {0-7803-7249-2}, keywords = {dblp}, pages = {286-292}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T17:53:43.000+0200}, title = {Partition-Based Decision Heuristics for Image Computation Using SAT and BDDs.}, url = {http://dblp.uni-trier.de/db/conf/iccad/iccad2001.html#GuptaYAZM01}, year = 2001 }