wiki_research

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

boolean_formula_read_polarity_once (214B)

      1 # Read-polarity-once Boolean formula
      2 
      3 A [Boolean_formula] is *read once* if every [literal] occurs at most once
      4 
      5 cf [callegaro2013read]
      6 
      7 Up: [boolean_formula_read_once]
      8 
      9 Aliases: Read polarity once Boolean formula