蒂诺·特伊格;马丁·范策尔 随机布尔可满足性的分解。 （英文） Zbl 1306.68175号 Fermüller，Christian G.（编辑）等人，《编程逻辑、人工智能和推理》。第17届国际会议，LPAR-17，印尼日惹，2010年10月10-15日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-16241-1/pbk）。计算机科学课堂讲稿6397625-639（2010）。 摘要：随机布尔可满足性（SSAT）问题是由Papadimitriou于1985年提出的，通过随机量化将不确定性的概率模型添加到命题可满足性中。SSAT有许多应用，例如，在概率规划中，以及最近通过集成算法，在概率模型检查中。在本文中，我们首先给出了一个关于SSAT计算复杂性的新结果：即使SSAT限制为2CNF，它仍然保持PSPACE完全。其次，我们提出了一个完善的SSAT分辨率演算，以补充经典的回溯搜索算法。关于整个系列，请参见[Zbl 1197.68008号]. 引用于2文件 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 2017年第68季度 问题的计算难度（下限、完备性、近似难度等） 65年第68季度 算法和问题复杂性分析 PDF格式BibTeX公司 XML格式引用 \textit{T.Teige}和\textit{M.Fränzle}，Lect。注释计算。科学。6397625--639（2010年；Zbl 1306.68175） 全文： 内政部