Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
1977 ◽
Vol 9
(2)
◽
pp. 135-196
◽
1971 ◽
Vol 18
(1)
◽
pp. 14-26
◽
1990 ◽
Vol 3
(3)
◽
pp. 183-193
◽
Keyword(s):
Keyword(s):
1971 ◽
Vol 18
(1)
◽
pp. 205-207
◽