Weight-Aware Core Extraction in SAT-Based MaxSAT Solving.
Jeremias BergMatti JärvisaloPublished in: CP (2017)
Keyphrases
- sat solvers
- boolean satisfiability
- boolean optimization
- combinatorial optimization
- sat instances
- upper bound
- sat encodings
- unsatisfiable cores
- planning problems
- neural network
- automatic extraction
- bounded model checking
- constraint solver
- boolean formula
- sat problem
- answer sets
- branch and bound algorithm
- orders of magnitude
- domain specific
- genetic algorithm