Keyphrases
- inference rules
- sat solving
- lower bound
- branch and bound algorithm
- boolean satisfiability
- max sat
- upper bound
- sat solvers
- first order logic
- theorem proving
- theorem prover
- horn clauses
- branch and bound
- modal logic
- sat problem
- vc dimension
- objective function
- randomly generated
- search tree
- conditional probabilities
- np hard
- constraint satisfaction
- bayesian networks
- machine learning
- search strategies
- search algorithm
- artificial intelligence