Derandomization of Schuler's Algorithm for SAT
Evgeny DantsinAlexander WolpertPublished in: Electron. Colloquium Comput. Complex. (2004)
Keyphrases
- preprocessing
- improved algorithm
- optimization algorithm
- learning algorithm
- computational cost
- recognition algorithm
- detection algorithm
- computationally efficient
- cost function
- high accuracy
- times faster
- dynamic programming
- np hard
- k means
- linear programming
- expectation maximization
- significant improvement
- theoretical analysis
- segmentation algorithm
- search space
- computational complexity
- particle swarm optimization
- evolutionary algorithm
- matching algorithm
- search algorithm