From Non-Clausal to Clausal MinSAT.
Chu-Min LiFelip ManyàJoan Ramon SolerAmanda VidalPublished in: CCIA (2021)
Keyphrases
- defeasible logic
- combinatorial optimization problems
- inductive logic programming
- temporal resolution
- theorem proving
- branch and bound algorithm
- constraint propagation
- horn clauses
- combinatorial auctions
- decomposable negation normal form
- knowledge compilation
- combinatorial optimization
- special case
- logic programs
- optimization problems
- simulated annealing
- lower bound