Extending E Prover with Fully Use Binary Clauses Algorithm Based on Standard Contradiction Separation Rule.
Peiyao LiuGuanfeng WuYang XuFeng CaoPublished in: ISKE (2021)
Keyphrases
- search space
- learning algorithm
- dynamic programming
- detection algorithm
- high accuracy
- significant improvement
- preprocessing
- computational complexity
- cost function
- improved algorithm
- theoretical analysis
- search algorithm
- np hard
- worst case
- neural network
- hamming distance
- linear programming
- recognition algorithm
- objective function
- times faster
- matching algorithm
- nearest neighbour
- background knowledge
- clustering method
- optimization algorithm
- expectation maximization
- simulated annealing
- optimal solution