Vu Hoang Nguyen Phan

Vu Phan is a Computer Science Ph.D. student of Prof. Moshe Vardi at Rice University, expecting to graduate in 2022 Spring. He solves computational counting problems with dynamic programming and knowledge compilation.

Curriculum Vitae

Education

Bibliography

Vu Phan is the corresponding author of the following publications (authors sorted by surnames).

Thesis

Phan | Weighted Model Counting with Algebraic Decision Diagrams | M.S. thesis, Rice University 2019

Conference Papers

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

Workshop Paper

Phan | Syntactic Conditions for Antichain Property in Consistency Restoring Prolog | ASPOCP 2018

Software Projects

Contact

Office: Duncan Hall 3063, Rice University

Schedule

Research Profiles

  1. Semantic Scholar
  2. Google Scholar

Update

My home page was updated on 2021/06/24.