A Full Derandomization of Schoening's k-SAT Algorithm
Robin A. MoserDominik SchederPublished in: CoRR (2010)
Keyphrases
- learning algorithm
- high accuracy
- experimental evaluation
- detection algorithm
- improved algorithm
- dynamic programming
- computational complexity
- cost function
- np hard
- computational cost
- probabilistic model
- simulated annealing
- linear programming
- computationally efficient
- optimal solution
- similarity measure
- times faster
- matching algorithm
- first order logic
- tree structure
- optimization algorithm
- expectation maximization
- preprocessing