2 papers
cs.CC2026
Restructuring Tree Decision Diagrams
Christoph Berkholz, Matthäus Micun, Igor Razgon
Tree Decision Diagrams (TDDs) are a data structure recently introduced by Capelli et al. (SAT 2026). They are structured along a vtree and the size of their canonical form lies bet…
cs.CC2026
Proof Systems Based on Structured Circuits
Matthäus Micun, Christoph Berkholz
Since their introduction by Atserias, Kolaitis, and Vardi in 2004, proof systems where each line is represented by an ordered binary decision diagram (OBDD) have been intensively s…