Search Space Features Underlying the Performance of Stochastic Local Search Algorithms for MAX-SAT.

Holger H. Hoos Kevin Smyth Thomas Stützle

Published in: PPSN (2004)

Keyphrases

max sat
search space
satisfiability problem
stochastic local search algorithms
search algorithm
sat solvers
data structure
branch and bound
lower bound
np hard
co occurrence
linear programming
branch and bound algorithm
search tree
weighted max sat