Chain, Generalization of Covering Code, and Deterministic Algorithm for k-SAT.
Sixue LiuPublished in: ICALP (2018)
Keyphrases
- experimental evaluation
- randomly generated
- k means
- detection algorithm
- dynamic programming
- segmentation algorithm
- learning algorithm
- objective function
- computational complexity
- cost function
- recognition algorithm
- convergence rate
- worst case
- simulated annealing
- high accuracy
- optimization algorithm
- neural network
- computational cost
- significant improvement
- particle swarm optimization
- matching algorithm
- times faster
- scheduling problem
- search strategy
- minimum volume