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

Matthew B. Hastings

Published in: CoRR (2016)

Keyphrases

learning algorithm
search strategy
objective function
computational complexity
search space
cost function
np hard
max sat
variable ordering