wiki_research

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

max_2sat (178B)

      1 # Max 2sat
      2 
      3 The [computational_problem] [MAX_SAT] on an input [2CNF]
      4 
      5 It is [NP_hard]: cf [garey_johnson] LO5
      6 
      7 Generalization: [max_csp]
      8 
      9 Up: [max_sat], [2CNF]
     10 
     11 See also: [2SAT]