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

Andreas Niskanen, Jeremias Berg, Matti Jrvisalo

Browse the full CP paper archive.