Keyphrases
- tableau calculus
- combinatorial optimization problems
- combinatorial auctions
- unsatisfiable cores
- description logics
- branch and bound algorithm
- defeasible logic
- knapsack problem
- inductive logic programming
- knowledge base
- boolean satisfiability
- sat problem
- combinatorial optimization
- theorem proving
- constraint propagation
- optimization problems
- horn clauses
- metaheuristic
- hidden structure
- traveling salesman problem
- ant colony optimization
- resource allocation
- decision procedures
- minimal models
- sat instances
- upper bound
- max sat
- lower bound
- knowledge compilation
- randomly generated
- sat solvers
- first order logic
- knowledge representation
- programming language
- constraint satisfaction problems
- expert systems
- branch and bound