On the complexity of minimizing the OBDD size for incompletely specified functions

Martin Sauerhoff, Ingo Wegener. On the complexity of minimizing the OBDD size for incompletely specified functions. IEEE Trans. on CAD of Integrated Circuits and Systems, 15(11):1435-1437, 1996. [doi]

@article{SauerhoffW96,
  title = {On the complexity of minimizing the OBDD size for incompletely specified functions},
  author = {Martin Sauerhoff and Ingo Wegener},
  year = {1996},
  doi = {10.1109/43.543775},
  url = {http://doi.ieeecomputersociety.org/10.1109/43.543775},
  researchr = {https://researchr.org/publication/SauerhoffW96},
  cites = {0},
  citedby = {0},
  journal = {IEEE Trans. on CAD of Integrated Circuits and Systems},
  volume = {15},
  number = {11},
  pages = {1435-1437},
}