Exploiting Resolution-Based Representations for MaxSAT Solving.

Miguel Neves, Ruben Martins, Mikols Janota, Ins Lynce, Vasco Manquinho

Browse the full SAT paper archive.