Vu H. N. Phan

According to our database, Vu H. N. Phan authored at least 5 papers between 2019 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

DPER: Dynamic Programming for Exist-Random Stochastic SAT.

Vu H. N. Phan, Moshe Y. Vardi

CoRR, 2022

DPO: Dynamic-Programming Optimization on Hybrid Constraints.

Vu H. N. Phan, Moshe Y. Vardi

CoRR, 2022

2021

ProCount: Weighted Projected Model Counting with Graded Project-Join Trees.

Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021

2020

DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees.

Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi

Proceedings of the Principles and Practice of Constraint Programming, 2020

2019

ADDMC: Exact Weighted Model Counting with Algebraic Decision Diagrams.

Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi

CoRR, 2019