An efficient algorithm for the 3-satisfiability problem.

Alain Billionnet Alain Sutter

Published in: Oper. Res. Lett. (1992)

Keyphrases

np hard
dynamic programming
satisfiability problem
optimal solution
search space
np complete
stochastic local search algorithms
search algorithm
lower bound
combinatorial optimization
randomly generated
genetic algorithm
simulated annealing
max sat