Clause tableaux for maximum and minimum satisfiability.
Josep ArgelichChu Min LiFelip ManyàJoan Ramon SolerPublished in: Log. J. IGPL (2021)
Keyphrases
- decision procedures
- satisfiability testing
- cnf formula
- np complete
- propositional logic
- functional dependencies
- satisfiability problem
- boolean formula
- theorem proving
- square error
- maximum distance
- modal logic
- quantified boolean formulas
- databases
- automated reasoning
- search space
- computational complexity
- max sat
- database systems
- clause learning
- minimum energy
- query language
- theorem prover
- orders of magnitude
- constraint satisfaction problems