wiki_research

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

sat_parity (286B)

      1 # Sat parity
      2 
      3 The variant of [Boolean_satisfiability] where we ask whether the number of [satisfying_assignments] is [even] or [odd]
      4 
      5 This is [Parity_P_complete], cf [valiant2006accidental]
      6 
      7 Up: [parity], [Boolean_satisfiability]
      8 
      9 See also: [maj_SAT], [gt_maj_sat]
     10 
     11 Aliases: parity SAT