Experiments With a Multipurpose, Theorem-Proving Heuristic Program
From MaRDI portal
Publication:5542557
DOI10.1145/321439.321444zbMath0159.21202OpenAlexW2139090598MaRDI QIDQ5542557
Publication date: 1968
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/321439.321444
Related Items
On the continuous working problem, Plane geometry theorem proving using forward chaining, An analysis of alpha-beta pruning, Heuristic search viewed as path finding in a graph, Finding resolution proofs and using duplicate goals in AND/OR trees, An admissible and optimal algorithm for searching AND/OR graphs, A quantitative analysis of the alpha-beta pruning algorithm
