SAT-based Preprocessing for MaxSAT (extended version)

Anton Belov, Antonio Morgado, Joao Marques-Silva

State-of-the-art algorithms for industrial instances of MaxSAT problem rely on iterative calls to a SAT solver. Preprocessing is crucial for the acceleration of SAT solving, and th…