A Predicate Suggestion Algorithm for Automated Theorem Finding with Forward Reasoning.
Yuichi GotoHongbiao GaoJingde ChengPublished in: ACIIDS (2) (2017)
Keyphrases
- dynamic programming
- optimization algorithm
- detection algorithm
- high accuracy
- computational complexity
- computational cost
- preprocessing
- cost function
- expectation maximization
- linear programming
- experimental evaluation
- np hard
- objective function
- experimental study
- matching algorithm
- times faster
- memory requirements
- data sets
- single pass
- particle swarm optimization
- worst case
- multi objective
- similarity measure
- simulated annealing
- classification algorithm
- significant improvement
- optimal solution
- convex hull
- recognition algorithm
- space complexity
- learning algorithm