凯乔·赫尔扬科;米萨Keinänen;马丁·兰格;伊尔卡·尼梅尔 通过降低SAT来解决平价游戏。 (英语) Zbl 1279.68211号 J.计算。系统。科学。 78,第2期,430-440(2012).MSC公司:第68季度第60季度 03B70号 91A05型 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.Heljanko}等人,J.Compute。系统。科学。78,第2号,430-440(2012;Zbl 1279.68211) 全文: 内政部
安蒂·E·J·海瓦·里宁。;汤米·琼蒂拉;伊尔卡·尼梅尔 将从句学习纳入基于网格的随机SAT求解中。 (英语) Zbl 1190.68055号 J.满意。布尔模型。计算。 6,第4期,223-244(2009).MSC公司:68T20型 68T05型 68宽15 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{A.E.J.Hyvärinen}等人,J.Satisf。布尔模型。计算。6、编号4、223--244(2009;Zbl 1190.68055)
Järvisalo,马蒂;伊尔卡·尼梅尔 结构分支对小句学习SAT解题效率的影响:一项实验研究。 (英语) Zbl 1162.68655号 J.算法 63,编号1-3,90-113(2008).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Järvisalo}和\textit{I.Niemelä},J.Algorithms 63,No.1-3,90-113(2008;Zbl 1162.68655) 全文: 内政部
尤西·林塔南;凯乔·赫尔扬科;伊尔卡·尼梅尔 作为可满足性的计划:计划搜索的并行计划和算法。 (英语) 兹比尔1131.68099 Artif公司。智力。 170,编号12-13,1031-1080(2006).MSC公司:68T20型 第68季度25 PDF格式BibTeX公司 XML格式引用 \textit{J.Rintanen}等人,Artif。智力。170,编号12--131031--1080(2006;Zbl 1131.68099) 全文: 内政部
哈里·哈帕德;Järvisalo,马蒂;佩特里·卡斯基;伊尔卡·尼梅尔 用于基准等价推理技术的难满足子句集。 (英语) 兹伯利1116.68084 J.满意。布尔模型。计算。 2,编号1-4,27-46(2006).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{H.Haanpää}等人,J.Satisf。布尔模型。计算。2,编号1--4,27-46(2006;Zbl 1116.68084)
Järvisalo,马蒂;汤米·琼蒂拉;伊尔卡·尼梅尔 布尔电路表方法中的无限制切割与限制切割。 (英语) 兹比尔1086.03048 安。数学。Artif公司。智力。 44,第4期,373-399(2005).MSC公司:20层03 68吨15 68T20型 03B70号 94立方厘米 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{M.Järvisalo}等人,《数学年鉴》。Artif公司。智力。44,第4号,373--399(2005;Zbl 1086.03048) 全文: 内政部