Alert button
Picture for Vu H. N. Phan

Vu H. N. Phan

Alert button

DPER: Dynamic Programming for Exist-Random Stochastic SAT

Add code
Bookmark button
Alert button
May 19, 2022
Vu H. N. Phan, Moshe Y. Vardi

Figure 1 for DPER: Dynamic Programming for Exist-Random Stochastic SAT
Figure 2 for DPER: Dynamic Programming for Exist-Random Stochastic SAT
Figure 3 for DPER: Dynamic Programming for Exist-Random Stochastic SAT
Figure 4 for DPER: Dynamic Programming for Exist-Random Stochastic SAT
Viaarxiv icon

DPO: Dynamic-Programming Optimization on Hybrid Constraints

Add code
Bookmark button
Alert button
May 17, 2022
Vu H. N. Phan, Moshe Y. Vardi

Figure 1 for DPO: Dynamic-Programming Optimization on Hybrid Constraints
Figure 2 for DPO: Dynamic-Programming Optimization on Hybrid Constraints
Figure 3 for DPO: Dynamic-Programming Optimization on Hybrid Constraints
Figure 4 for DPO: Dynamic-Programming Optimization on Hybrid Constraints
Viaarxiv icon

DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees

Add code
Bookmark button
Alert button
Aug 20, 2020
Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi

Figure 1 for DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees
Figure 2 for DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees
Figure 3 for DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees
Figure 4 for DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees
Viaarxiv icon

ADDMC: Exact Weighted Model Counting with Algebraic Decision Diagrams

Add code
Bookmark button
Alert button
Jul 11, 2019
Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi

Figure 1 for ADDMC: Exact Weighted Model Counting with Algebraic Decision Diagrams
Figure 2 for ADDMC: Exact Weighted Model Counting with Algebraic Decision Diagrams
Figure 3 for ADDMC: Exact Weighted Model Counting with Algebraic Decision Diagrams
Figure 4 for ADDMC: Exact Weighted Model Counting with Algebraic Decision Diagrams
Viaarxiv icon