A Complete Resolution Calculus for Signed Max-SAT.
Carlos AnsóteguiMaria Luisa BonetJordi LevyFelip ManyàPublished in: ISMVL (2007)
Keyphrases
- max sat
- weighted max sat
- sat solvers
- lower bound
- branch and bound
- unit propagation
- search algorithm
- tabu search
- branch and bound algorithm
- sat problem
- clause learning
- satisfiability problem
- boolean formula
- variable ordering
- linear programming
- neural network
- propositional satisfiability
- boolean satisfiability
- constraint satisfaction
- unsatisfiable cores