conftrace_

structured d-dnnf

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

sentential decision diagram (1) ordered binary decision diagram (1) boolean circuit (1) circuit representation (1) decision diagram (1) circuit complexity (1) arithmetic circuit (1) boolean function (1) knowledge compilation (1)

Papers

Structured d-DNNF Is Not Closed under Negation IJCAI 2024