Login / Signup
Study of Lower Bound Functions for MAX-2-SAT.
Haiou Shen
Hantao Zhang
Published in:
AAAI (2004)
Keyphrases
</>
lower bound
max sat
branch and bound algorithm
upper bound
branch and bound
data structure
np hard
linear programming
tabu search