wiki_research

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

ordered_decision_circuit (350B)

      1 # Ordered decision circuit
      2 
      3 used in [capelli2023direct]
      4 
      5 Formally a [decision_dnnf] such that there is an [order] on variables such that for each [trace], for each path in the [trace], the variables are in the correct order
      6 
      7 Can also be seen as [obdd] with [decomposable] [conjunction]
      8 
      9 occurs in:
     10 - [cali2017non]
     11 - [lai2017new]
     12 
     13 Up: [decision_dnnf]