CoAPI: An Efficient Two-Phase Algorithm Using Core-Guided Over-Approximate Cover for Prime Compilation of Non-Clausal Formulae.
Weilin LuoHai WanHongzhen ZhongOu WeiPublished in: CoRR (2019)
Keyphrases
- learning algorithm
- experimental evaluation
- objective function
- improved algorithm
- computationally efficient
- detection algorithm
- k means
- preprocessing
- expectation maximization
- significant improvement
- high accuracy
- dynamic programming
- computational cost
- theoretical analysis
- times faster
- classification algorithm
- convergence rate
- selection algorithm
- np hard
- cost function
- computational complexity
- optimal solution
- machine learning
- convex hull
- path planning
- memory efficient
- scheduling problem
- matching algorithm
- optimization algorithm
- particle swarm optimization
- linear programming
- data sets
- probabilistic model
- similarity measure
- neural network