wiki_research

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

enumeration_circuit (400B)

      1 # Enumeration on circuits
      2 
      3 Enumerating the [satisfying_assignment] of [boolean_circuit]
      4 
      5 Harder than [satisfiability_boolean] so [np_hard] on general [boolean_circuit]
      6 
      7 [amarilli2017circuit]: [enumeration] for [dsdnnf]
      8 
      9 [enumeration_sdnnf]
     10 
     11 [decolnet2023complexity]: [enumeration] of [prime_implicants] on [decision_DNNFs]
     12 
     13 Up: [enumeration] on [boolean_circuit]
     14 
     15 See also: [enumeration_via_circuit]