Maximum Satisfiability Using Core-Guided MaxSAT Resolution.
Nina NarodytskaFahiem BacchusPublished in: AAAI (2014)
Keyphrases
- maximum satisfiability
- unsatisfiable cores
- boolean satisfiability
- max sat
- sat problem
- combinatorial problems
- clause learning
- sat solvers
- tabu search
- graph coloring
- satisfiability problem
- constraint satisfaction problems
- probabilistic planning
- phase transition
- randomly generated
- symmetry breaking
- branch and bound algorithm
- constraint programming
- genetic algorithm
- metaheuristic
- variable ordering
- lower bound
- search algorithm