Constraints
- 30 May 1979
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGAPL APL Quote Quad
- Vol. 9 (4-P1) , 208-225
- https://doi.org/10.1145/390009.804464
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysisArtificial Intelligence, 1977
- Nondeterministic AlgorithmsJournal of the ACM, 1967