ECCC-TR06-004'

BibTeX

@article{DBLP:journals/eccc/ECCC-TR06-004,
  author    = {Jesper Torp Kristensen and
               Peter Bro Miltersen},
  title     = {Finding small OBDDs for incompletely specified truth tables
               is hard},
  journal   = {Electronic Colloquium on Computational Complexity (ECCC)},
  number    = {004},
  year      = {2006},
  ee        = {http://eccc.hpi-web.de/eccc-reports/2006/TR06-004/index.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}