A New Algorithm for MAX-2-SAT.

Edward A. Hirsch

Published in: STACS (2000)

Keyphrases

learning algorithm
computational complexity
dynamic programming
probabilistic model
simulated annealing
optimal solution
search space
cost function
np hard
objective function
linear programming
particle swarm optimization
modal logic
randomly generated
max sat