ADDMC: Weighted Model Counting with Algebraic Decision Diagrams J Dudek, V Phan, M Vardi AAAI, 2020 | 43 | 2020 |
DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees JM Dudek, VHN Phan, MY Vardi CP, 2020 | 25 | 2020 |
ProCount: Weighted Projected Model Counting with Graded Project-Join Trees JM Dudek, VHN Phan, MY Vardi SAT, 2021 | 18 | 2021 |
DPO: Dynamic-Programming Optimization on Hybrid Constraints VHN Phan, MY Vardi arXiv preprint arXiv:2205.08632, 2022 | 3 | 2022 |
Weighted Model Counting with Algebraic Decision Diagrams VHN Phan Rice University, 2019 | 2 | 2019 |
DPER: Dynamic Programming for Exist-Random Stochastic SAT VHN Phan, MY Vardi arXiv preprint arXiv:2205.09826, 2022 | 1 | 2022 |
Quantitative Reasoning on Hybrid Formulas with Dynamic Programming VHN Phan Rice University, 2022 | | 2022 |
Syntactic Conditions for Antichain Property in Consistency Restoring Prolog V Phan ASPOCP, 2018 | | 2018 |
A Discrete Math Methodology for Computer Science N Rushton, V Phan Proceedings of the International Conference on Frontiers in Education …, 2018 | | 2018 |