wiki_research

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

all_pos_neg_sat (203B)

      1 # ALL-POS-NEG-SAT
      2 
      3 [satisfiability_cnf] but in each clause either all [literals] are [positive_literal] or all [literals] are [negative_literal]
      4 
      5 [NP_complete] in [lingg2024learning]
      6 
      7 Up: [sat_variants]