conftrace_

circuit representation

5 papers

Explore in graph

Co-occurring keywords · papers mentioning both

knowledge compilation (3) sentential decision diagram (2) boolean function (2) probabilistic inference (2) boolean circuit (1) model counting (1) tractable model (1) graph neural network (1) ordered binary decision diagram (1) structured d-dnnf (1)

Papers

An And-Sum Circuit with Signed Edges That Is More Succinct than SDD AAAI 2025 Circuit Representation Learning with Masked Gate Modeling and Verilog-AIG Alignment ICLR 2025 New Compilation Languages Based on Restricted Weak Decomposability AAAI 2025 Structured d-DNNF Is Not Closed under Negation IJCAI 2024 A Compositional Atlas of Tractable Circuit Operations for Probabilistic Inference NeurIPS 2021