Chain, Generalization of Covering Code, and Deterministic Algorithm for k-SAT.
Sixue LiuPublished in: CoRR (2018)
Keyphrases
- preprocessing
- k means
- computational cost
- learning algorithm
- cost function
- experimental evaluation
- detection algorithm
- computational complexity
- significant improvement
- high accuracy
- optimization algorithm
- np hard
- times faster
- recognition algorithm
- combinatorial optimization
- path planning
- matching algorithm
- tabu search
- metaheuristic
- clustering method
- similarity measure