Vu Hoang Nguyen Phan
2017/08–2022/05: Ph.D., Computer Science, Rice University
2017/08–2019/12: M.S., Computer Science, Rice University
2014/08–2017/08: Dual B.S., Computer Science and Math, Texas Tech University
Vu Phan is the corresponding author of the following publications (authors sorted by surnames).
Phan | Weighted Model Counting with Algebraic Decision Diagrams | M.S. thesis, Rice University 2019
Dudek, Phan, Vardi | DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees | CP 2020
Dudek, Phan, Vardi | ADDMC: Weighted Model Counting with Algebraic Decision Diagrams | AAAI 2020
Phan | Syntactic Conditions for Antichain Property in Consistency Restoring Prolog | ASPOCP 2018
- Semantic Scholar
- Google Scholar
My home page was updated on 2021/06/24.