Local Maxima and Improved Exact Algorithm for MAX-2-SAT.

Matthew B. Hastings

Published in: Chic. J. Theor. Comput. Sci. (2018)

Keyphrases

cost function
optimal solution
learning algorithm
computational complexity
objective function
np hard
dynamic programming
information retrieval
probabilistic model
linear programming
search strategy
branch and bound algorithm
randomly generated
max sat