scientific article; zbMATH DE number 3407200
From MaRDI portal
Publication:5672218
Cited in
(7)- A new combination of input and unit deductions for Horn sentences
- Optimal problem-solving search: All-or-none solutions
- On the optimality of A
- Problem representations and formal properties of heuristic search
- MM: a bidirectional search algorithm that is guaranteed to meet in the middle
- Tableaux and sequent calculi for \textsf{CTL} and \textsf{ECTL}: satisfiability test with certifying proofs and models
- Computer science and decision theory
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5672218)
