scientific article; zbMATH DE number 3407200
From MaRDI portal
Publication:5672218
zbMath0257.68087MaRDI QIDQ5672218
No author found.
Publication date: 1972
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
MM: a bidirectional search algorithm that is guaranteed to meet in the middle ⋮ Optimal problem-solving search: All-or-none solutions ⋮ Computer science and decision theory ⋮ On the optimality of A ⋮ Problem representations and formal properties of heuristic search ⋮ Tableaux and sequent calculi for \textsf{CTL} and \textsf{ECTL}: satisfiability test with certifying proofs and models ⋮ A new combination of input and unit deductions for Horn sentences
