scientific article; zbMATH DE number 3331276
From MaRDI portal
zbMath0208.19802MaRDI QIDQ5610102
Publication date: 1970
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Finding resolution proofs and using duplicate goals in AND/OR trees, An admissible and optimal algorithm for searching AND/OR graphs, A general branch and bound formulation for understanding and synthesizing And/Or tree search procedures
