wiki_research

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

2cnf (240B)


      1 # 2-CNF
      2 
      3 A [conjunctive_normal_form] [boolean_formula] where every [clause] contains two [literals]
      4 
      5 - [satisfiability_boolean] on such formulas: [2sat]
      6 - generalization: [kcnf]
      7 - special case: [monotone2cnf]
      8 
      9 Up: [conjunctive_normal_form]