New Research Lines for Max-SAT - Exploiting the Recent Resolution Rule for Max-Sat.
Federico HerasPublished in: ICAART (1) (2010)
Keyphrases
- max sat
- weighted max sat
- sat solvers
- lower bound
- search algorithm
- tabu search
- satisfiability problem
- unit propagation
- branch and bound algorithm
- branch and bound
- sat problem
- constraint satisfaction
- stochastic local search
- clause learning
- maximum satisfiability
- propositional satisfiability
- boolean satisfiability
- variable ordering
- linear programming
- max sat solver
- unsatisfiable cores
- genetic algorithm
- special case
- upper bound
- simulated annealing