Implementation and use of SPFDs in optimizing Boolean networks

Subarnarekha Sinha, Robert K. Brayton. Implementation and use of SPFDs in optimizing Boolean networks. In ICCAD. pages 103-110, 1998. [doi]

@inproceedings{SinhaB98,
  title = {Implementation and use of SPFDs in optimizing Boolean networks},
  author = {Subarnarekha Sinha and Robert K. Brayton},
  year = {1998},
  doi = {10.1145/288548.288584},
  url = {http://doi.acm.org/10.1145/288548.288584},
  tags = {optimization},
  researchr = {https://researchr.org/publication/SinhaB98},
  cites = {0},
  citedby = {0},
  pages = {103-110},
  booktitle = {ICCAD},
}