From k-SAT to k-CSP: Two Generalized Algorithms

Liang Li Xin Li Tian Liu Ke Xu

Published in: CoRR (2008)

Keyphrases

learning algorithm
stochastic local search algorithms
computationally efficient
worst case
optimization problems
orders of magnitude
metaheuristic
search strategies
significant improvement
search methods
satisfiability problem
backtracking search