Evidence Algorithm and System for Automated Deduction: A Retrospective View.
Alexander V. LyaletskiKonstantin VerchininePublished in: AISC/MKM/Calculemus (2010)
Keyphrases
- cost function
- learning algorithm
- optimization algorithm
- automated deduction
- dynamic programming
- detection algorithm
- np hard
- objective function
- improved algorithm
- computational cost
- optimal solution
- preprocessing
- computational complexity
- experimental evaluation
- search space
- probabilistic model
- worst case
- high accuracy
- linear programming
- convergence rate
- significant improvement
- computationally efficient
- theoretical analysis
- expectation maximization
- data structure
- times faster
- matching algorithm
- particle swarm optimization
- input data
- k means