wiki_research

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

conversion_circuit (403B)

      1 # Conversion circuit
      2 
      3 The [function_problem] of [converting] a [circuit] from a [circuit_class] to another
      4 
      5 - [cnf_to_dnnf]
      6 - [cnf_to_decision_dnnf]
      7 
      8 in [amarilli2019connecting]:
      9 - [dnnf_to_nfbdd] ([quasipolynomial])
     10 - [ddnnf_to_ufbdd]
     11 - [decison_dnnf_to_fbdd]
     12 - other cases
     13 
     14 - [obdd_to_boolean_formula]
     15 - [boolean_circuit_to_nbdd]
     16 
     17 Up: [conversion]
     18 
     19 See also: [darwiche2002knowledge], [circuit_circus]