×

可满足性的扩展半定松弛。 (英语) Zbl 1169.90404号

摘要:本文针对可满足性问题提出了一种新的半定规划松弛方法。这种松弛是以前的松弛的扩展,这些松弛是由0/1优化问题的部分半定提升范式引起的。放松的构造取决于对从句排列的选择,不同的选择可能导致不同的放松。然后,我们考虑Tseitin实例,这是一类已知对某些证明系统很难的实例,并证明对于任何排列的选择,所提出的松弛对于这些实例都是精确的,这意味着Tseitin实例是不令人满意的,当且仅当相应的半定规划松弛是不可行的。

MSC公司:

90C09型 布尔编程
68T20型 人工智能背景下的问题解决(启发式、搜索策略等)

软件:

向外旋转
PDF格式BibTeX公司 XML格式引用