Efficient 2 and 3-Flip Neighborhood Search Algorithms for the MAX SAT.

Mutsunori Yagiura Toshihide Ibaraki

Published in: COCOON (1998)

Keyphrases

max sat
search algorithm
branch and bound
tabu search
satisfiability problem
lower bound
branch and bound algorithm
sat solvers
neural network
probability distribution
heuristic search
np complete
weighted max sat