conftrace_

Vu Phan

1 papers · 2020–2020 · 1 conference · across top CS/AI conferences

Achievements

Jump to papers ↓

🐝 Cross-Pollinator (14)

Conferences

AAAI (1)

Top co-authors

Moshe Vardi (1) Jeffrey Dudek (1)

Keywords

dynamic programming (1) exact inference (1) weighted model counting (1) algebraic decision diagram (1) boolean formula (1)

Papers

ADDMC: Weighted Model Counting with Algebraic Decision Diagrams AAAI 2020