SAT-based Preprocessing for MaxSAT (extended version).

Anton Belov António Morgado João Marques-Silva

Published in: CoRR (2013)

Keyphrases

preprocessing
sat solvers
boolean satisfiability
ai planning
feature extraction
preprocessing step
orders of magnitude
combinatorial optimization
answer set programming
data sets
multi agent
support vector
active learning
upper bound
domain specific
branch and bound algorithm