Heuristic techniques in computer-aided circuit analysis. Sussman, G. J. & Stallman, R. M. IEEE Transactions on Circuits and Systems, 22(11):857--865, IEEE, 1975.
bibtex   
@article{sussman1975heuristic,
  title={Heuristic techniques in computer-aided circuit analysis},
  author={Sussman, Gerald Jay and Richard M. Stallman},
  journal={IEEE Transactions on Circuits and Systems},
  volume={22},
  number={11},
  pages={857--865},
  year={1975},
  publisher={IEEE}
}

Downloads: 0