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]