Impact of SAT-Based Preprocessing on Core-Guided MaxSAT Solving.
Jeremias BergMatti JärvisaloPublished in: CP (2016)
Keyphrases
- preprocessing
- sat solvers
- boolean satisfiability
- combinatorial optimization
- boolean optimization
- sat encodings
- post processing
- preprocessing step
- constraint satisfaction
- solving problems
- unsatisfiable cores
- version space
- branch and bound algorithm
- search algorithm
- constraint solver
- metaheuristic
- linear programming
- bounded model checking
- maximum satisfiability
- multi agent systems