New Tableau Characterizations for Non-clausal MaxSAT Problem.
Guido FiorinoPublished in: Log. J. IGPL (2022)
Keyphrases
- theorem proving
- description logics
- upper bound
- acyclic database schemes
- defeasible logic
- automated theorem proving
- constraint propagation
- proof procedure
- inductive logic programming
- decision procedures
- combinatorial optimization
- sat solvers
- horn clauses
- branch and bound algorithm
- proof search
- temporal resolution
- first order logic
- propositional theories
- neural network
- sat problem
- data sets
- knowledge representation and reasoning
- knowledge compilation
- boolean satisfiability
- automated reasoning
- expert systems
- optimal solution
- artificial intelligence