Now showing items 1-2 of 2

    • SAT-based MaxSAT algorithms 

      Ansótegui Gil, Carlos José; Bonet, Maria Luisa; Levy, Jordi (Elsevier, 2013)
      Many industrial optimization problems can be translated to MaxSAT. Although the general problem is NP hard, like SAT, many practical problems may be solved using modern MaxSAT solvers. In this paper we present several ...
    • The Fractal Dimension of SAT Formulas 

      Ansótegui Gil, Carlos José; Bonet, Maria Luisa; Giráldez-Cru, Jesús; Levy, Jordi (Springer Verlag, 2014)
      Modern SAT solvers have experienced a remarkable progress on solving industrial instances. Most of the techniques have been developed after an intensive experimental process. It is believed that these techniques exploit ...