Improved Algorithms for Sparse MAX-SAT and MAX-k-CSP.

Ruiwen Chen Rahul Santhanam

Published in: Electron. Colloquium Comput. Complex. (2015)

Keyphrases

max sat
orders of magnitude
lower bound
branch and bound
exact algorithms
search algorithm
satisfiability problem
stochastic local search