Preprocessing in Incomplete MaxSAT Solving.

Marcus Leivo, Jeremias Berg, Matti Jrvisalo

Browse the full ECAI paper archive.