SAT-based Preprocessing for MaxSAT (extended version)

Re-assign community