Complexity of two-level logic minimization

Christopher Umans, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli. Complexity of two-level logic minimization. IEEE Trans. on CAD of Integrated Circuits and Systems, 25(7):1230-1246, 2006. [doi]

@article{UmansVS06,
  title = {Complexity of two-level logic minimization},
  author = {Christopher Umans and Tiziano Villa and Alberto L. Sangiovanni-Vincentelli},
  year = {2006},
  doi = {10.1109/TCAD.2005.855944},
  url = {http://doi.ieeecomputersociety.org/10.1109/TCAD.2005.855944},
  tags = {logic},
  researchr = {https://researchr.org/publication/UmansVS06},
  cites = {0},
  citedby = {0},
  journal = {IEEE Trans. on CAD of Integrated Circuits and Systems},
  volume = {25},
  number = {7},
  pages = {1230-1246},
}