conftrace_

ordered binary decision diagram

4 papers

Explore in graph

Also known as

OBDD

Co-occurring keywords · papers mentioning both

boolean circuit (2) boolean function (2) knowledge compilation (2) logical circuit (1) structured d-dnnf (1) sentential decision diagram (1) second-order finite automaton (1) functional reconfiguration (1) tensor train (1) polynomial threshold function (1)

Papers

Symbolic Functional Decomposition: A Reconfiguration Approach AAAI 2025 Tensor Decomposition Meets Knowledge Compilation: A Study Comparing Tensor Trains with OBDDs AAAI 2025 Structured d-DNNF Is Not Closed under Negation IJCAI 2024 Approximating bounded tree-width Bayesian network classifiers with OBDD PGM 2020