research
∙
10/21/2020
Taming Discrete Integration via the Boon of Dimensionality
Discrete integration is a fundamental problem in computer science that c...
share
research
∙
08/20/2020
DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees
We propose a unifying dynamic-programming framework to compute exact lit...
research
∙
06/28/2020
Parallel Weighted Model Counting with Tensor Networks
A promising new algebraic approach to weighted model counting makes use ...
research
∙
08/12/2019
Efficient Contraction of Large Tensor Networks for Weighted Model Counting through Graph Decompositions
Constrained counting is a fundamental problem in artificial intelligence...
research
∙
07/11/2019
ADDMC: Exact Weighted Model Counting with Algebraic Decision Diagrams
We compute exact literal-weighted model counts of CNF formulas. Our algo...
research
∙
10/17/2017