Pages that link to "Item:Q5542557"
From MaRDI portal
The following pages link to Experiments With a Multipurpose, Theorem-Proving Heuristic Program (Q5542557):
Displaying 7 items.
- On the continuous working problem (Q917431) (← links)
- A quantitative analysis of the alpha-beta pruning algorithm (Q1055189) (← links)
- Plane geometry theorem proving using forward chaining (Q1215410) (← links)
- An analysis of alpha-beta pruning (Q1238442) (← links)
- Heuristic search viewed as path finding in a graph (Q2542693) (← links)
- Finding resolution proofs and using duplicate goals in AND/OR trees (Q2549243) (← links)
- An admissible and optimal algorithm for searching AND/OR graphs (Q2549574) (← links)
