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



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

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


Office: Duncan Hall 3063, Rice University


Research Profiles

  1. Semantic Scholar
  2. Google Scholar


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