Derandomizing HSSW Algorithm for 3-SAT.
Kazuhisa MakinoSuguru TamakiMasaki YamamotoPublished in: COCOON (2011)
Keyphrases
- experimental evaluation
- learning algorithm
- computational cost
- objective function
- high accuracy
- detection algorithm
- convergence rate
- dynamic programming
- times faster
- expectation maximization
- optimization algorithm
- recognition algorithm
- computational complexity
- similarity measure
- matching algorithm
- computationally efficient
- improved algorithm
- particle swarm optimization
- clustering method
- neural network
- simulated annealing
- optimal solution
- reinforcement learning
- theoretical analysis
- k means
- branch and bound algorithm
- variable ordering