Now showing items 1-1 of 1

  • A new algorithm for Weighted Partial MaxSAT 

    Ansótegui, Carlos; Bonet Carbonell, M. Luisa; Levy Díaz, Jordi (2011)
    Conference report
    Restricted access - publisher's policy
    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.