conftrace_

succinctness analysis

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

logical negation (1) structured decomposition (1) sentential decision diagram (1) circuit representation (1) boolean function (1) knowledge compilation (1)

Papers

An And-Sum Circuit with Signed Edges That Is More Succinct than SDD AAAI 2025