A Kernighan-Lin inspired algorithm for MAX-SAT.

Noureddine Bouhmala

Published in: Sci. China Inf. Sci. (2019)

Keyphrases

optimal solution
dynamic programming
computational complexity
probabilistic model
learning algorithm
objective function
information retrieval
search space
cost function
simulated annealing
guided local search