Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
- 1 October 1977
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 9 (2), 135-196
- https://doi.org/10.1016/0004-3702(77)90029-7
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Heuristic techniques in computer-aided circuit analysisIEEE Transactions on Circuits and Systems, 1975
- Towards a programming apprenticeIEEE Transactions on Software Engineering, 1975