Now showing items 1-1 of 1

    • Exact Algorithms for MAX-SAT 

      Zhang, Hantao; Shen, Haiou; Manyà Serres, Felip (Elsevier, 2003)
      The maximum satisfiability problem (MAX-SAT) is stated as follows: Given a boolean formula in CNF, find a truth assignment that satisfies the maximum possible number of its clauses. MAX-SAT is MAX-SNP-complete and received ...