conftrace_

logical circuit

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

ordered binary decision diagram (1) tensor train (1) boolean function (1) knowledge compilation (1) tensor decomposition (1)

Papers

Tensor Decomposition Meets Knowledge Compilation: A Study Comparing Tensor Trains with OBDDs AAAI 2025