Randomized Variants of Johnson's Algorithm for MAX SAT.

Matthias Poloczek Georg Schnitger

Published in: SODA (2011)

Keyphrases

cost function
optimal solution
learning algorithm
objective function
search space
dynamic programming
simulated annealing
information retrieval
search algorithm
utility function
randomly generated