Core-Guided Binary Search Algorithms for Maximum Satisfiability.
Federico HerasAntónio MorgadoJoão Marques-SilvaPublished in: AAAI (2011)
Keyphrases
- search algorithm
- maximum satisfiability
- max sat
- unsatisfiable cores
- boolean satisfiability
- branch and bound
- search space
- satisfiability problem
- search methods
- heuristic search
- tabu search
- sat solvers
- search tree
- lower bound
- graph coloring
- linear program
- sat problem
- linear programming
- cnf formula
- probabilistic planning
- evolutionary algorithm
- variable ordering
- computational complexity