On Using Unsatisfiability for Solving Maximum Satisfiability
João Marques-SilvaJordi PlanesPublished in: CoRR (2007)
Keyphrases
- max sat
- maximum satisfiability
- boolean satisfiability
- graph coloring
- stochastic local search
- branch and bound algorithm
- variable ordering
- lower bound
- tabu search
- satisfiability problem
- sat solvers
- branch and bound
- combinatorial optimization
- reinforcement learning
- sat problem
- genetic algorithm
- linear programming
- search algorithm