米盖尔·安霍斯(Miguel F.Anjos)。 可满足性的扩展半定松弛。 (英语) Zbl 1169.90404号 J.满意。布尔模型。计算。 4,第1期,15-31(2008). 摘要:本文针对可满足性问题提出了一种新的半定规划松弛方法。这种松弛是以前的松弛的扩展,这些松弛是由0/1优化问题的部分半定提升范式引起的。放松的构造取决于对从句排列的选择,不同的选择可能导致不同的放松。然后,我们考虑Tseitin实例,这是一类已知对某些证明系统很难的实例,并证明对于任何排列的选择,所提出的松弛对于这些实例都是精确的,这意味着Tseitin实例是不令人满意的,当且仅当相应的半定规划松弛是不可行的。 引用于2文件 MSC公司: 90C09型 布尔编程 68T20型 人工智能背景下的问题解决(启发式、搜索策略等) 关键词:可满足性;半定规划;离散优化;全局优化 软件:向外旋转 PDF格式BibTeX公司 XML格式引用 \textit{M.F.Anjos},J.Satisfe。布尔模型。计算。4,第1号,15-31(2008年;兹bl 1169.90404)