Proofs and Certificates for Max-SAT (Extended Abstract).
Matthieu PyMohamed Sami CherifDjamal HabetPublished in: IJCAI (2023)
Keyphrases
- extended abstract
- max sat
- weighted max sat
- lower bound
- sat solvers
- branch and bound algorithm
- satisfiability problem
- tabu search
- search algorithm
- branch and bound
- sat problem
- linear programming
- stochastic local search
- theorem prover
- maximum satisfiability
- constraint satisfaction
- theorem proving
- boolean satisfiability
- unsatisfiable cores
- cnf formula
- orders of magnitude
- variable ordering
- constraint satisfaction problems
- propositional satisfiability
- boolean formula
- dynamic programming
- special case
- random sat instances