
Taming Discrete Integration via the Boon of Dimensionality
Discrete integration is a fundamental problem in computer science that c...
read it

DPMC: Weighted Model Counting by Dynamic Programming on ProjectJoin Trees
We propose a unifying dynamicprogramming framework to compute exact lit...
read it

Parallel Weighted Model Counting with Tensor Networks
A promising new algebraic approach to weighted model counting makes use ...
read it

Efficient Contraction of Large Tensor Networks for Weighted Model Counting through Graph Decompositions
Constrained counting is a fundamental problem in artificial intelligence...
read it

ADDMC: Exact Weighted Model Counting with Algebraic Decision Diagrams
We compute exact literalweighted model counts of CNF formulas. Our algo...
read it

The Hard Problems Are Almost Everywhere For Random CNFXOR Formulas
Recent universalhashing based approaches to sampling and counting cruci...
read it
Jeffrey M. Dudek
is this you? claim profile