On Solving MAX-SAT Using Sum of Squares.
Lennart SinjorgoRenata SotirovPublished in: INFORMS J. Comput. (2024)
Keyphrases
- weighted max sat
- max sat
- stochastic local search
- graph coloring
- variable ordering
- lower bound
- random sat instances
- satisfiability problem
- tabu search
- sat solvers
- branch and bound
- search algorithm
- branch and bound algorithm
- sat problem
- boolean satisfiability
- unsatisfiable cores
- random sat
- belief revision
- constraint satisfaction
- boolean formula
- information retrieval systems
- finding optimal solutions