wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

max_sat (286B)

      1 # MaxSAT
      2 
      3 https://en.wikipedia.org/wiki/Maximum_satisfiability_problem
      4 
      5 Find the maximum number of clauses of a [conjunctive_normal_form] formula that
      6 can be made true
      7 
      8 Also exists in a weighted version
      9 
     10 Special case: [max_2sat]
     11 
     12 Up: [sat_variants]
     13 
     14 See also: [satisfiability_weighted]