莫希特·库马尔;塞缪尔·科尔布;斯特凡诺·特索;吕克·德·雷德 从上下文示例中学习MAX-SAT以进行组合优化。 (英语) Zbl 07638281号 Artif公司。智力。 314,文章ID 103794,25 p.(2023).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{M.Kumar}等人,Artif。智力。314,文章ID 103794,第25页(2023;Zbl 07638281) 全文: 内政部 arXiv公司 链接
凯里里迪斯、阿纳斯塔西奥斯;安舒马利·施里瓦斯塔瓦;莫舍·瓦尔迪。;张志伟 通过多线性傅里叶展开求解连续空间中的混合布尔约束。 (英语) Zbl 1520.68105号 Artif公司。智力。 299,文章ID 103559,32 p.(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) 全文: 内政部
兹德拉夫科·博特夫一世。;德克·克劳斯(Dirk P.Kroese)。 通过广义分裂方法进行有效的蒙特卡罗模拟。 (英语) Zbl 1322.65002号 统计计算。 22,第1期,第1-16页(2012).MSC公司:65二氧化碳 60J22型 62G05型 PDF格式BibTeX公司 XML格式引用 \textit{Z.I.Botev}和\textit{D.P.Kroese},统计计算。22,第1号,1--16(2012;Zbl 1322.65002) 全文: 内政部
迈克尔·布里肯斯坦;亚历山大·德雷耶 Polybori:用布尔多项式进行Gröbner基计算的框架。 (英语) Zbl 1186.68571号 J.塞姆。计算。 44,第9期,1326-1345(2009).MSC公司:68瓦30 第13页第10页 PDF格式BibTeX公司 XML格式引用 \textit{M.Brickenstein}和\textit{A.Dreyer},J.Symb。计算。44,编号9,1326--1345(2009;Zbl 1186.68571) 全文: 内政部
马特奥·加格利奥洛;约翰·施密杜贝尔 学习动态算法组合。 (英语) Zbl 1113.68101号 安。数学。Artif公司。智力。 47,第3-4、295-328号(2006).MSC公司:68T20型 68T05年 PDF格式BibTeX公司 XML格式引用 \textit{M.Gagliolo}和\textit{J.Schmidhuber},Ann.数学。Artif公司。智力。47,编号3--4,295--328(2006;Zbl 1113.68101) 全文: 内政部 链接
尼古拉斯五世·萨希尼迪斯。;塔瓦玛拉尼,莫希特 通过针对松弛特定约束的建模语言构造加速分支绑定。 (英语) Zbl 1080.90087 J.全球。最佳方案。 32,第2期,259-280(2005).MSC公司:90C57型 PDF格式BibTeX公司 XML格式引用 \textit{N.V.Sahinidis}和\textit{M.Tawarmalani},J.Glob。最佳方案。32,第2号,259--280(2005;Zbl 1080.90087) 全文: 内政部
爱德华·赫施。;阿里斯特·科耶夫尼科夫 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}等人,Ann.Math。Artif公司。智力。43,编号1--4,1-34(2005;Zbl 1100.68575) 全文: 内政部
张伟雄 配置景观分析和主干引导的本地搜索。一: 可满足性和最大可满足性。 (英语) 兹比尔1085.68678 Artif公司。智力。 158,第1期,1-26页(2004年).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{W.Zhang},艺术。智力。158,第1号,1--26(2004;Zbl 1085.68678) 全文: 内政部