Preprocessing in Incomplete MaxSAT Solving.

Marcus Leivo Jeremias Berg Matti Järvisalo

Published in: ECAI (2020)

Keyphrases

preprocessing
combinatorial optimization
upper bound
artificial neural networks
post processing
preprocessing step
missing data
noisy data
branch and bound algorithm
data sets
computer vision
search algorithm
missing values
combinatorial problems
quadratic programming
preprocessing steps