BriefGPT.xyz
May, 2022
DPER: 针对存在-随机难题的动态规划
DPER: Dynamic Programming for Exist-Random Stochastic SAT
HTML
PDF
Vu H. N. Phan, Moshe Y. Vardi
TL;DR
本研究将 graded project-join trees 上的动态规划方法扩展到了 ER-SSAT 问题,并实现了名为 DPER 的动态规划求解器。实证评估表明,DPER 在低宽度问题实例上具有与最先进的 ER-SSAT 求解器(DC-SSAT 和 erSSAT)竞争性相当的性能。
Abstract
In
bayesian inference
, the
maximum a posteriori
(MAP) problem combines the most probable explanation (MPE) and marginalization (MAR) problems. The counterpart in propositional logic is the
→