巴克斯，F。;达尔毛，S。;T.皮塔西。 使用回溯搜索解决#SAT和贝叶斯推理。 （英语） Zbl 1182.68294号 J.阿蒂夫。智力。研究（JAIR） 34, 391-442 (2009). 摘要：贝叶斯网中的推理是概率推理中的一个重要应用问题。计算命题公式（#SAT）的满意赋值数是一个密切相关的基本理论问题。这两个问题以及其他问题都属于SUM-of-PROducts（SUMPROD）问题。在本文中，我们证明了标准回溯搜索加上一个简单的记忆方案（缓存）可以解决任何时间复杂度至少与任何其他最先进的精确算法一样好的产品总和问题，并且它还可以实现最著名的时空权衡。此外，回溯利用更灵活的变量排序的能力使我们能够证明，在某些情况下，它可以比SUMPROD的其他标准算法实现指数加速。这里提出的思想已经在许多求解器中得到了应用，这些求解器已经应用于各种类型的和式问题。这些系统利用了这样一个事实，即回溯可以自然地利用问题的更多结构，从而在一系列问题实例上实现改进的性能。这种性能提高的经验证据已经出现在描述这些求解器的已发表作品中，我们为这些作品提供了参考。 引用于21文件 MSC公司： 68层37 人工智能背景下的不确定性推理 关键词：概率推理 PDF格式BibTeX公司 XML格式引用 \textit{F.Bacchus}等人，J.Artif。智力。研究（JAIR）34，391--442（2009；Zbl 1182.68294） 全文： arXiv公司