On Preprocessing for Weighted MaxSAT.

Tobias Paxian Pascal Raiola Bernd Becker

Published in: VMCAI (2021)

Keyphrases

preprocessing
upper bound
post processing
lower bound
machine learning
learning algorithm
sat solvers
weighted sum
genetic algorithm
feature selection
feature extraction
optimization problems
branch and bound algorithm
preprocessing step
sat problem
weighted distance