Preprocessing in Incomplete MaxSAT Solving. - Marcus Leivo; Jeremias Berg; Matti Järvisalo (ECAI, 2020)