Generalizing Logic Circuit Designs by Analyzing Proofs of Correctness

Ellman. "Generalizing Logic Circuit Designs by Analyzing Proofs of Correctness." International Joint Conference on Artificial Intelligence, 1985. doi:10.7916/D8C254FH

[Ellman. "Generalizing Logic Circuit Designs by Analyzing Proofs of Correctness." International Joint Conference on Artificial Intelligence, 1985.](https://mlanthology.org/ijcai/1985/ellman1985ijcai-generalizing/) doi:10.7916/D8C254FH

@inproceedings{ellman1985ijcai-generalizing,
  title     = {{Generalizing Logic Circuit Designs by Analyzing Proofs of Correctness}},
  author    = {Ellman, Thomas},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1985},
  pages     = {643-646},
  doi       = {10.7916/D8C254FH},
  url       = {https://mlanthology.org/ijcai/1985/ellman1985ijcai-generalizing/}
}