SAT-Based Preprocessing for MaxSAT.

Anton Belov, Antnio Morgado, Joo Marques-Silva

Browse the full LPAR paper archive.