Vu H. N. Phan | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Moshe Y. Vardi
39 publications
Jeffrey M. Dudek
6 publications

research

∙ 05/19/2022

DPER: Dynamic Programming for Exist-Random Stochastic SAT

In Bayesian inference, the maximum a posteriori (MAP) problem combines t...

0 Vu H. N. Phan, et al. ∙

research

∙ 05/17/2022

DPO: Dynamic-Programming Optimization on Hybrid Constraints

In Bayesian inference, the most probable explanation (MPE) problem reque...

15 Vu H. N. Phan, et al. ∙

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...

2 Jeffrey M. Dudek, et al. ∙

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...

4 Jeffrey M. Dudek, et al. ∙