DBLP Record 'conf/iccad/GuptaYAZM01'

BibTeX

@inproceedings{DBLP:conf/iccad/GuptaYAZM01,
  author    = {Aarti Gupta and
               Zijiang Yang and
               Pranav Ashar and
               Lintao Zhang and
               Sharad Malik},
  title     = {Partition-Based Decision Heuristics for Image Computation
               Using SAT and BDDs},
  booktitle = {ICCAD},
  year      = {2001},
  pages     = {286-292},
  ee        = {http://www.sigda.org/Archives/ProceedingArchives/Iccad/Iccad2001/papers/2001/iccad01/htmfiles/sun_sgi/iccadabs.htm\#06a_2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}