ADDMC: Exact Weighted Model Counting with Algebraic Decision Diagrams. - Jeffrey M. Dudek; Vu H. N. Phan; Moshe Y. Vardi (CoRR, 2019)

DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees. - Jeffrey M. Dudek; Vu H. N. Phan; Moshe Y. Vardi (CP, 2020)

ProCount: Weighted Projected Model Counting with Graded Project-Join Trees. - Jeffrey M. Dudek; Vu H. N. Phan; Moshe Y. Vardi (SAT, 2021)

DPO: Dynamic-Programming Optimization on Hybrid Constraints. - Vu H. N. Phan; Moshe Y. Vardi (CoRR, 2022)

DPER: Dynamic Programming for Exist-Random Stochastic SAT. - Vu H. N. Phan; Moshe Y. Vardi (CoRR, 2022)