A two-phase algorithm for solving a class of hard satisfiability problems.

Joost P. Warners Hans van Maaren

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

Keyphrases

dynamic programming
satisfiability problem
objective function
randomly generated
learning algorithm
computational complexity
np hard
search space
evolutionary algorithm
np complete
combinatorial optimization
phase transition