Now showing items 1-1 of 1

    • An efficient solver for weighted Max-SAT 

      Alsinet, Teresa; Manyà Serres, Felip; Planes Cid, Jordi (Springer, 2008)
      We present a new branch and bound algorithm for weighted Max-SAT, called Lazy which incorporates original data structures and inference rules, as well as a lower bound of better quality. We provide experimental evidence ...