Vu H. N. Phan

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 6

Top Topics

Probabilistic Inference

Algebraic Decision Diagrams

Top Venues

Publications

Vu H. N. Phan, Moshe Y. Vardi
DPER: Dynamic Programming for Exist-Random Stochastic SAT. CoRR (2022)
Vu H. N. Phan, Moshe Y. Vardi
DPO: Dynamic-Programming Optimization on Hybrid Constraints. CoRR (2022)
Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi
ProCount: Weighted Projected Model Counting with Graded Project-Join Trees. SAT (2021)
Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi
DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees. CoRR (2020)
Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi
DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees. CP (2020)
Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi
ADDMC: Exact Weighted Model Counting with Algebraic Decision Diagrams. CoRR (2019)