Community-Based Partitioning for MaxSAT Solving.

Ruben Martins, Vasco Manquinho, Ins Lynce

Browse the full SAT paper archive.