A New Algorithm for Weighted Partial MaxSAT.

Carlos Anstegui, Maria Luisa Bonet, Jordi Levy

Browse the full AAAI paper archive.