Exact Max 2-Sat: Easier and Faster.
Martin FürerShiva Prasad KasiviswanathanPublished in: SOFSEM (1) (2007)
Keyphrases
- max sat
- weighted max sat
- lower bound
- sat solvers
- branch and bound algorithm
- tabu search
- search algorithm
- satisfiability problem
- sat problem
- constraint satisfaction
- exact algorithms
- branch and bound
- maximum satisfiability
- stochastic local search
- variable ordering
- linear programming
- boolean satisfiability
- simulated annealing
- np complete
- orders of magnitude
- cnf formula
- unsatisfiable cores
- max sat solver
- unit propagation
- genetic algorithm
- query expansion
- random sat instances