Verifying minimum stable circuit values

Chung Keung Poon. Verifying minimum stable circuit values. Inf. Process. Lett., 86(1):27-32, 2003. [doi]

@article{Poon03:0,
  title = {Verifying minimum stable circuit values},
  author = {Chung Keung Poon},
  year = {2003},
  doi = {10.1016/S0020-0190(02)00453-2},
  url = {http://dx.doi.org/10.1016/S0020-0190(02)00453-2},
  researchr = {https://researchr.org/publication/Poon03%3A0},
  cites = {0},
  citedby = {0},
  journal = {Inf. Process. Lett.},
  volume = {86},
  number = {1},
  pages = {27-32},
}