UNSEARCHMO: Eliminating Redundant Search Space on Backtracking for Forward Chaining Theorem Proving.
Lifeng HePublished in: IJCAI (2001)
Keyphrases
- learning algorithm
- forward chaining
- theorem proving
- eliminating redundant
- search space
- search algorithm
- search tree
- combinatorial search
- heuristic search
- first order logic
- branch and bound
- automated reasoning
- inference rules
- metaheuristic
- search strategy
- theorem prover
- constraint satisfaction
- parallel search
- constraint satisfaction problems
- state space
- constraint propagation
- planning problems
- proof planning
- optimal solution
- sat solvers
- planning systems
- geometry theorem proving
- tree search
- search problems
- search procedure
- search strategies
- random variables
- expert systems
- artificial intelligence