scientific article; zbMATH DE number 3303642
From MaRDI portal
Publication:5585003
zbMath0191.17704MaRDI QIDQ5585003
Publication date: 1969
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (10)
Game tree searching by min/max approximation ⋮ Best-first minimax search ⋮ Using rewriting rules for connection graphs to prove theorems ⋮ Completely non-clausal theorem proving ⋮ LAO*: A heuristic search algorithm that finds solutions with loops ⋮ Generalized AND/OR graphs ⋮ DATAPLAN: An interface generator for database semantics ⋮ Problem representations and formal properties of heuristic search ⋮ A general branch and bound formulation for understanding and synthesizing And/Or tree search procedures ⋮ General branch and bound, and its relation to \(A^*\) and \(AO^*\)
This page was built for publication:
