research
∙
05/19/2022
DPER: Dynamic Programming for Exist-Random Stochastic SAT
In Bayesian inference, the maximum a posteriori (MAP) problem combines t...
share
research
∙
05/17/2022
DPO: Dynamic-Programming Optimization on Hybrid Constraints
In Bayesian inference, the most probable explanation (MPE) problem reque...
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
∙
07/11/2019