| ADDMC: Weighted Model Counting with Algebraic Decision Diagrams J Dudek, V Phan, M Vardi AAAI, 2020 | 58 | 2020 |
| DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees JM Dudek, VHN Phan, MY Vardi CP, 2020 | 32 | 2020 |
| ProCount: Weighted Projected Model Counting with Graded Project-Join Trees JM Dudek, VHN Phan, MY Vardi SAT, 2021 | 19 | 2021 |
| DPO: Dynamic-Programming Optimization on Hybrid Constraints VHN Phan, MY Vardi arXiv preprint arXiv:2205.08632, 2022 | 7 | 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 |
Moshe Y. VardiRice UniversityDirección de correo verificada de cs.rice.edu
