Keyphrases
- inference rules
- max sat
- max sat solver
- weighted max sat
- lower bound
- sat solvers
- search algorithm
- first order logic
- modal logic
- branch and bound
- tabu search
- branch and bound algorithm
- sat problem
- satisfiability problem
- constraint satisfaction
- theorem prover
- linear programming
- truth values
- maximum satisfiability
- horn clauses
- cnf formula
- special case
- conditional probabilities
- heuristic search
- logic programs