Improving the Effectiveness of SAT-Based Preprocessing for MaxSAT.

Jeremias Berg Paul Saikko Matti Järvisalo

Published in: IJCAI (2015)

Keyphrases

preprocessing
sat solvers
upper bound
boolean satisfiability
neural network
search algorithm
search space
planning problems
answer set programming
preprocessing step
preprocessing phase