• A new algorithm for Weighted Partial MaxSAT 

    Ansótegui, Carlos; Bonet Carbonell, M. Luisa; Levy Díaz, Jordi (2011)
    Text en actes de congrés
    Accés restringit per política de l'editorial
    We present and implement a Weighted Partial MaxSAT solver based on successive calls to a SAT solver. We prove the correctness of our algorithm and compare our solver with other Weighted Partial MaxSAT solvers.