Relaxed Survey Propagation: A Sum-Product Algorithm for Max-SAT.
Hai Leong ChieuWee Sun LeePublished in: AAAI (2008)
Keyphrases
- max sat
- sum product algorithm
- weighted max sat
- message passing
- lower bound
- branch and bound algorithm
- sat solvers
- search algorithm
- branch and bound
- tabu search
- satisfiability problem
- linear programming
- optimal solution
- constraint satisfaction
- sat problem
- stochastic local search
- maximum satisfiability
- expectation maximization
- unsatisfiable cores
- em algorithm
- graphical models
- random sat instances
- max sat solver
- metaheuristic
- higher order
- probabilistic model
- cnf formula
- search space
- genetic algorithm