Derandomizing the HSSW Algorithm for 3-SAT.
Kazuhisa MakinoSuguru TamakiMasaki YamamotoPublished in: Algorithmica (2013)
Keyphrases
- detection algorithm
- cost function
- preprocessing
- experimental evaluation
- learning algorithm
- computational cost
- times faster
- search space
- dynamic programming
- optimal solution
- high accuracy
- simulated annealing
- input data
- optimization algorithm
- worst case
- convergence rate
- constraint satisfaction
- improved algorithm
- particle swarm optimization
- computational complexity
- data structure
- similarity measure