New Algorithms for k -SAT Based on the Local Search Principle.

Published in: MFCS (2001)

Keyphrases

combinatorial optimization
optimization problems
orders of magnitude
computationally efficient
neural network
significant improvement
learning algorithm
data structure
theoretical analysis
search strategies
sat solvers
global search