A New Lower Bound on the Maximum Number of Satisfied Clauses in Max-SAT and Its Algorithmic Application.
Robert CrowstonGregory Z. GutinMark JonesAnders YeoPublished in: IPEC (2010)
Keyphrases
- lower bound
- maximum number
- max sat
- branch and bound algorithm
- upper bound
- branch and bound
- max sat solver
- sat solvers
- weighted max sat
- unsatisfiable cores
- search algorithm
- objective function
- boolean satisfiability
- orders of magnitude
- cost function
- cnf formula
- neural network
- first order logic
- optimal solution
- maximum satisfiability
- random sat instances