BaxMC: a CEGAR approach to Max#SAT.
Thomas VigourouxCristian EneDavid MonniauxLaurent MounierMarie-Laure PotetPublished in: FMCAD (2022)
Keyphrases
- max sat
- weighted max sat
- lower bound
- sat solvers
- branch and bound algorithm
- branch and bound
- satisfiability problem
- search algorithm
- tabu search
- sat problem
- unsatisfiable cores
- maximum satisfiability
- propositional satisfiability
- variable ordering
- linear programming
- stochastic local search
- constraint satisfaction
- cnf formula
- boolean satisfiability
- cellular automata
- search strategies
- np hard
- cost function
- neural network
- orders of magnitude
- max sat solver
- special case
- constraint satisfaction problems