conftrace_

algebraic decision diagram

4 papers

Explore in graph

Also known as

ADD

Co-occurring keywords · papers mentioning both

model counting (2) boolean formula (2) dynamic programming (2) exact solver (1) weighted sampling (1) pseudo-boolean formula (1) conjunctive normal form (1) symbolic integration (1) exact weighted sampling (1) weighted model counting (1)

Papers

Engineering an Exact Pseudo-Boolean Model Counter AAAI 2024 DPSampler: Exact Weighted Sampling Using Dynamic Programming IJCAI 2022 ADDMC: Weighted Model Counting with Algebraic Decision Diagrams AAAI 2020 Efficient Symbolic Integration for Probabilistic Inference IJCAI 2018