Enabling Incrementality in the Implicit Hitting Set Approach to MaxSAT Under Changing Weights.

Andreas Niskanen Jeremias Berg Matti Järvisalo

Published in: CP (2021)

Keyphrases

linear combination
weighted sum
upper bound
database
data sets
learning algorithm
feature selection
feature set
markov chain
finite number