A Tableau Calculus for Signed Maximum Satisfiability.
Shuolin LiJordi CollDjamal HabetChu Min LiFelip ManyàPublished in: ISMVL (2023)
Keyphrases
- maximum satisfiability
- tableau calculus
- boolean satisfiability
- max sat
- description logics
- combinatorial problems
- sat problem
- knowledge base
- branch and bound algorithm
- symmetry breaking
- sat solvers
- lower bound
- constraint satisfaction problems
- constraint programming
- constraint satisfaction
- minimal models
- satisfiability problem
- randomly generated
- tabu search
- phase transition
- branch and bound
- traveling salesman problem
- orders of magnitude
- np complete