wiki_research

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

circuit_condition (306B)


      1 # Circuit condition
      2 
      3 Conditions that can be posed on [circuits]
      4 
      5 - [decomposability]
      6 - [deterministic]
      7 - [structuredness] (e.g., [vtree])
      8 - [constant_free], can be enforced by propagating constants unless the circuit computes a constant
      9 - [smooth]
     10 
     11 Up: [circuit]
     12 
     13 See also: [knowledge_compilation_classes]