SAT-Based Preprocessing for MaxSAT.
Anton BelovAntónio MorgadoJoão Marques-SilvaPublished in: LPAR (2013)
Keyphrases
- preprocessing
- sat solvers
- boolean satisfiability
- post processing
- upper bound
- maximum satisfiability
- sat problem
- constraint satisfaction
- search space
- answer set programming
- orders of magnitude
- branch and bound algorithm
- bounded model checking
- max sat
- sat instances
- sat encodings
- ai planning
- constraint solver
- probabilistic planning
- feature extraction
- preprocessing step
- randomly generated
- search strategies
- logic programming
- data sets
- combinatorial problems
- integer linear programming
- logic programs
- preprocessing phase