Experiments With a Multipurpose, Theorem-Proving Heuristic Program

DOI10.1145/321439.321444MaRDI QIDQ5542557zbMATH OpenOpenAlexFDO

Authors P. Bursky, James R. Slagle

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

zbMATH Keywords

numerical analysis

Cited in

(7)

• A quantitative analysis of the alpha-beta pruning algorithm
• 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
• On the continuous working problem

This page was built for publication: Experiments With a Multipurpose, Theorem-Proving Heuristic Program

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5542557)