wiki_research

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

k_sat (98B)

      1 # K SAT
      2 
      3 [SAT] but with [CNFs] of [clause_width] at most k
      4 
      5 - [2SAT]
      6 - [3SAT]
      7 
      8 Up: [sat_variants]