wiki_research

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

2cnf (407B)

      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 - [sharp_sat] on such formulas: [sharp_2cnf] / [sharp_monotone2cnf]
      7 - generalization: [kcnf]
      8 - special case: [monotone2cnf]
      9 
     10 Compilation to [OBDDs], cf [decolnet2026compilability] with [phase_transitions]
     11 
     12 Up: [conjunctive_normal_form]
     13 
     14 See also: [2DNF]