A Tableau Calculus for Non-clausal Maximum Satisfiability.
Chu Min LiFelip ManyàJoan Ramon SolerPublished in: TABLEAUX (2019)
Keyphrases
- maximum satisfiability
- tableau calculus
- boolean satisfiability
- max sat
- description logics
- defeasible logic
- knowledge base
- combinatorial problems
- sat problem
- inductive logic programming
- constraint propagation
- theorem proving
- horn clauses
- constraint programming
- decision procedures
- sat solvers
- minimal models
- knowledge compilation
- symmetry breaking
- probabilistic planning
- constraint satisfaction
- satisfiability problem
- branch and bound algorithm
- randomly generated
- constraint satisfaction problems
- expert systems
- column generation
- integer linear programming
- sat instances
- optimization problems
- knowledge representation
- search algorithm