Följ
Vu Hoang Nguyen Phan
Vu Hoang Nguyen Phan
Verifierad e-postadress på rice.edu - Startsida
Titel
Citeras av
Citeras av
År
ADDMC: Weighted Model Counting with Algebraic Decision Diagrams
J Dudek, V Phan, M Vardi
AAAI, 2020
432020
DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees
JM Dudek, VHN Phan, MY Vardi
CP, 2020
252020
ProCount: Weighted Projected Model Counting with Graded Project-Join Trees
JM Dudek, VHN Phan, MY Vardi
SAT, 2021
182021
DPO: Dynamic-Programming Optimization on Hybrid Constraints
VHN Phan, MY Vardi
arXiv preprint arXiv:2205.08632, 2022
32022
Weighted Model Counting with Algebraic Decision Diagrams
VHN Phan
Rice University, 2019
22019
DPER: Dynamic Programming for Exist-Random Stochastic SAT
VHN Phan, MY Vardi
arXiv preprint arXiv:2205.09826, 2022
12022
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–9