Exploiting Cycle Structures in Max-SAT.
Chu Min LiFelip ManyàNouredine Ould MohamedouJordi PlanesPublished in: SAT (2009)
Keyphrases
- max sat
- weighted max sat
- tabu search
- sat solvers
- lower bound
- branch and bound algorithm
- search algorithm
- satisfiability problem
- sat problem
- cnf formula
- linear programming
- branch and bound
- stochastic local search
- variable ordering
- maximum satisfiability
- boolean satisfiability
- decision makers
- information retrieval systems
- simulated annealing
- unit propagation
- unsatisfiable cores