An Effective Molecular Algorithm for Solving the Satisfiability Problem.

Wen Yu Weimin Zheng

Published in: APPT (2003)

Keyphrases

satisfiability problem
np hard
randomly generated
objective function
optimal solution
computational complexity
temporal logic
stochastic local search algorithms
dynamic programming
np complete
expressive power
combinatorial optimization
phase transition
stochastic local search