Exploiting Resolution-based Representations for MaxSAT Solving, SAT 2015

Related