凯里里迪斯、阿纳斯塔西奥斯;安舒马利·施里瓦斯塔瓦;莫舍·瓦尔迪。;张志伟 通过多线性傅里叶展开求解连续空间中的混合布尔约束。 (英语) Zbl 1520.68105号 Artif公司。智力。 299,文章ID 103559,第32页(2021).MSC公司:68兰特 06E30年 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Kyrillidis}等人,Artif。智力。299,文章ID 103559,32页(2021;Zbl 1520.68105) 全文: 内政部
比斯特拉·迪尔基纳;卡拉·戈麦斯。;阿什什·萨巴沃尔 后门复杂性与可满足性的权衡:动态子求解器和搜索过程中的学习。 (英语) Zbl 1357.68205号 安。数学。Artif公司。智力。 70,第4期,399-431(2014).MSC公司:68T20型 68T05型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{B.Dilkina}等人,《数学年鉴》。Artif公司。智力。70,第4号,399--431(2014;Zbl 1357.68205) 全文: 内政部
爱德华·赫施。;阿里斯特·科耶夫尼科夫 UnitWalk:一个新的SAT解算器,使用由单位子句消除指导的局部搜索。 (英语) Zbl 1100.68621号 安。数学。Artif公司。智力。 43,编号1-4,91-111(2005).MSC公司:68T20型 03B05号 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Hirsch}和\textit{A.Kojevnikov},Ann.数学。Artif公司。智力。43,编号1--4,91-111(2005;Zbl 1100.68621) 全文: 内政部
弗朗西·布尔格勒;李、小余;马蒂亚斯·斯托尔曼。 关于SAT实例类和使用SAT解算器进行可靠性能实验的方法。 (英语) Zbl 1100.68575号 安。数学。Artif公司。智力。 43,第1-4、1-34号(2005).MSC公司:65年第68季度 68T20型 62号05 PDF格式BibTeX公司 XML格式引用 \textit{F.Brglez}等人,《数学年鉴》。Artif公司。智力。43,编号1--4,1-34(2005;Zbl 1100.68575) 全文: 内政部