wiki_research

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

disjoint_union_product_circuit (439B)

      1 # Disjoint union product circuit
      2 
      3 A [circuit] built using [disjoint_union] and [cartesian_product] gates
      4 - may be assumed to be [smooth] or not
      5 - if not, the [disjoint_union] is extended to complete the missing positions
      6 
      7 Is the [circuit_multivalued] analogue of [d-DNNFs]
      8 
      9 Defined in [amarilli2024tractable]
     10 
     11 Up: [circuit_multivalued]
     12 
     13 Aliases: disjoint union times circuit, disjoint union times circuits, disjoint union product circuits