Tree Search Algorithm: A Best-First Proof Procedure.
Hans J. BerlinerPublished in: Artif. Intell. (1979)
Keyphrases
- tree search algorithm
- proof procedure
- theorem proving
- propositional logic
- monte carlo tree search
- first order logic
- branch and bound
- vehicle routing problem
- predicate calculus
- tree search
- monte carlo
- propositional satisfiability
- model theoretic
- search space
- decision procedures
- inference rules
- search algorithm
- lower bound
- automated reasoning
- scheduling problem
- branch and bound algorithm
- traveling salesman problem