安蒂·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,编号4223-244(2009年;兹bl 1190.68055)
马蒂·Järvisalo;汤米·琼蒂拉 限制分支在小句学习中的局限性。 (英语) Zbl 1192.68643号 约束条件 14,第3期,325-356(2009).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Järvisalo}和\textit{T.Junttila},约束14,No.3,325--356(2009;Zbl 1192.68643) 全文: 内政部
阿明·比尔;凯乔·赫尔扬科;汤米·琼蒂拉;蒂莫·拉塔瓦拉;维克多·舒潘 有界LTL模型检查的线性编码。 (英语) Zbl 1127.68057号 日志。方法计算。科学。 2,第5期,论文5,64页(2006年).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Biere}等人,Log。方法计算。科学。2,第5号,论文5,64页(2006年;Zbl 1127.68057) 全文: 内政部
马可·波扎诺;罗伯特·布鲁托梅索;亚历山德罗·西马蒂;汤米·琼蒂拉;西尔维奥·兰伊斯;彼得·范·罗苏姆;罗伯托·塞巴斯蒂安 通过布尔搜索进行有效的理论组合。 (英语) Zbl 1137.68578号 Inf.计算。 204,第10期,1493-1525(2006).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bozzano}等人,《信息计算》。204,第10号,1493-1525(2006;Zbl 1137.68578) 全文: 内政部
马可·波扎诺;罗伯特·布鲁托梅索;亚历山德罗·西马蒂;汤米·琼蒂拉;彼得·范·罗苏姆;斯蒂芬·舒尔茨;罗伯托·塞巴斯蒂安 M(M)路径SAT:SAT和数学决策程序的紧密结合。 (英语) Zbl 1109.68101号 J.自动化。推理 35,编号1-3,265-293(2005).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bozzano}等人,J.Autom。推理35,No.1--3,265--293(2005;Zbl 1109.68101) 全文: 内政部
马蒂·Järvisalo;汤米·琼蒂拉;伊尔卡·尼梅尔 布尔电路表方法中的无限制切割与限制切割。 (英语) Zbl 1086.03048号 安。数学。Artif公司。智力。 44,第4期,373-399(2005).MSC公司:20层03 第68页第15页 68T20型 03B70号 94立方厘米10 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{M.Järvisalo}等人,《数学年鉴》。Artif公司。智力。44,第4号,373--399(2005;Zbl 1086.03048) 全文: 内政部
马可·波扎诺;罗伯特·布鲁托梅索;亚历山德罗·西马蒂;汤米·琼蒂拉;西尔维奥·兰伊斯;彼得·范·罗苏姆;罗伯托·塞巴斯蒂安 通过延迟理论组合实现有效的可满足性模理论。 (英语) Zbl 1081.68610号 Etessami,Kousha(编辑)等人,《计算机辅助验证》。2005年7月6日至10日在英国苏格兰爱丁堡举行的第17届CAV国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-27231-3/pbk)。计算机科学课堂讲稿3576335-349(2005)。MSC公司:60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Bozzano}等人,Lect。注释计算。科学。3576、335--349(2005;Zbl 1081.68610) 全文: 内政部
凯乔·赫尔扬科;汤米·琼蒂拉;蒂莫·拉塔瓦拉 完整PLTL的增量和完整有界模型检查。 (英语) Zbl 1081.68621号 Etessami,Kousha(编辑)等人,《计算机辅助验证》。2005年7月6日至10日在英国苏格兰爱丁堡举行的第17届CAV国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-27231-3/pbk)。计算机科学课堂讲稿357698-111(2005)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Heljanko}等人,Lect。注释计算。科学。3576,98--111(2005;Zbl 1081.68621) 全文: 内政部
蒂莫·拉塔瓦拉;阿明·比尔;凯乔·赫尔扬科;汤米·琼蒂拉 简单是更好的:对过去的LTL进行有效的有界模型检查。 (英语) 兹比尔1111.68510 Cousot,Radhia(编辑),验证,模型检查和抽象解释。第六届国际会议,VMCAI 2005,巴黎,法国,2005年1月17日至19日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-24297-X/pbk)。计算机科学课堂讲稿3385380-395(2005)。MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{T.Latvala}等人,Lect。注释计算。科学。3385380-395(2005年;Zbl 1111.68510) 全文: 内政部
马可·波扎诺;罗伯特·布鲁托梅索;亚历山德罗·西马蒂;汤米·琼蒂拉;彼得·范·罗苏姆;斯蒂芬·舒尔茨;罗伯托·塞巴斯蒂安 线性算术逻辑可满足性的增量分层过程。 (英语) Zbl 1087.68630号 Halbwachs,Nicolas(编辑)等人,《系统构建和分析的工具和算法》。2005年4月4日至8日在英国爱丁堡举行的第11届国际会议,TACAS 2005,是欧洲软件理论与实践联合会议(ETAPS 2005)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 3-540-25333-5/pbk)。计算机科学课堂讲稿3440317-333(2005)。MSC公司:第68页第15页 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bozzano}等人,Lect。注释计算。科学。3440317--333(2005;Zbl 1087.68630) 全文: 内政部