Exploració per autor "Ansótegui, Carlos"

Ara es mostren els items 1-1 de 1

    • 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.