59 citations · 68 across the 20 of their papers we have counts for
Showing 2022 · cs.LOShow all
2 papers · 2 filters
cs.LO2022
DPER: Dynamic Programming for Exist-Random Stochastic SAT
Vu H. N. Phan, Moshe Y. Vardi
In Bayesian inference, the maximum a posteriori (MAP) problem combines the most probable explanation (MPE) and marginalization (MAR) problems. The counterpart in propositional logi…
cs.LO2022
DPO: Dynamic-Programming Optimization on Hybrid Constraints
Vu H. N. Phan, Moshe Y. Vardi
In Bayesian inference, the most probable explanation (MPE) problem requests a variable instantiation with the highest probability given some evidence. Since a Bayesian network can…