wiki_research

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

knowledge_compilation_automata (465B)


      1 # Knowledge compilation automata
      2 
      3 The use of [automata] as [knowledge_compilation] formalisms
      4 - automata correspond to [BDDs] but the [variable_order] is usually fixed in advance
      5 - [circuit_circus]
      6 - [cstheory] question: https://cstheory.stackexchange.com/questions/53719/relationship-between-size-of-boolean-functions-and-dfas
      7   - cites [champarnaud1989maxmin]
      8   - cites [kjoshanssen2021vc] which relates to [vc_dimension]
      9 
     10 Up: [knowledge_compilation], [automata]