conftrace_

algebraic decision diagram

4 papers

Explore in graph

Also known as

ADD

Co-occurring keywords

model counting (46) boolean formula (17) dynamic programming (274) exact solver (5) weighted sampling (17) pseudo-boolean formula (1) conjunctive normal form (9) symbolic integration (1) exact weighted sampling (1) weighted model counting (20)

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