Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT Solvers.
Guohui XiaoZuoquan LinYue MaGuilin QiPublished in: KR (2010)
Keyphrases
- max sat
- valued semantics
- sat solvers
- maximum satisfiability
- consistent query answering
- default logic
- weighted max sat
- boolean satisfiability
- sat problem
- lower bound
- logical implication
- tabu search
- orders of magnitude
- branch and bound algorithm
- branch and bound
- search algorithm
- search strategies
- search space
- sat instances
- cnf formula
- combinatorial problems
- dl lite
- automated reasoning
- optimal solution
- data structure