UpMax: User Partitioning for MaxSAT.

Pedro Orvalho, Vasco Manquinho, Ruben Martins

Browse the full SAT paper archive.