New Inference Rules for Max-SAT.
Chu Min LiFelip ManyàJordi PlanesPublished in: J. Artif. Intell. Res. (2007)
Keyphrases
- inference rules
- max sat solver
- max sat
- weighted max sat
- lower bound
- tabu search
- theorem prover
- sat problem
- branch and bound algorithm
- search algorithm
- sat solvers
- modal logic
- branch and bound
- first order logic
- satisfiability problem
- maximum satisfiability
- constraint satisfaction
- linear programming
- boolean satisfiability
- truth values
- temporal logic
- horn clauses
- cnf formula
- np hard