Exploiting the Structure of Unsatisfiable Cores in MaxSAT.

Carlos Anstegui, Frdric Didier, Joel Gabs

Browse the full IJCAI paper archive.