Exploiting Resolution-based Representations for MaxSAT Solving

Miguel Neves, Ruben Martins, Mikoláš Janota +2

Most recent MaxSAT algorithms rely on a succession of calls to a SAT solver in order to find an optimal solution. In particular, several algorithms take advantage of the ability of…