汤米·A·琼蒂拉
人员信息
附属: 芬兰阿尔托大学
优化列表
2020年–今天
2022 [公元41年] 马西莫·巴托莱蒂 , 詹姆斯·新余(James Xin-yu Chiang) , 汤米·A·琼蒂拉 , 阿尔贝托·卢奇·拉富恩特 , 马西米利亚诺·米雷利 , 安德烈·范丁 :
分权金融中贷款池的形式分析。 ISoLA(3) 2022 : 335-355 [第九章] 马西莫·巴托莱蒂 , 詹姆斯·新余(James Xin-yu Chiang) , 汤米·A·琼蒂拉 , 阿尔贝托·卢奇·拉富恩特 , 马西米利亚诺·米雷利 , 安德烈·范丁 :
分权金融中贷款池的形式分析。 CoRR公司 abs/2206.01333 ( 2022 ) 2021 [第2页] 罗尔夫·德雷克斯勒 , 汤米·A·琼蒂拉 , 伊尔卡·尼梅尔 :
非条款SAT和ATPG。 可满足性手册 2021 : 1047-1086 2020 [公元12年] 汤米·A·琼蒂拉 , 马蒂·卡帕 , 佩特里·卡斯基 , Jukka Kohonen公司 :
用于对称减少的自适应前缀分配技术。 J.塞姆。 计算。 99 : 21-49 ( 2020 )
2010 – 2019
2017 [公元40年] 汤米·A·琼蒂拉 , 马蒂·卡帕 , 佩特里·卡斯基 , Jukka Kohonen公司 :
一种用于对称约简的自适应前缀分配技术。 坐 2017 : 101-118 [i8] 汤米·A·琼蒂拉 , 马蒂·卡帕 , 佩特里·卡斯基 , Jukka Kohonen公司 :
用于对称减少的自适应前缀分配技术。 CoRR公司 abs/1706.08325 ( 2017 ) 2014 [i7] 特罗·莱蒂宁 , 汤米·A·琼蒂拉 , 伊尔卡·尼梅尔 :
对奇偶校验约束进行分类和传播(扩展版本)。 CoRR公司 abs/1406.4698 ( 2014 ) [i6] 特罗·莱蒂宁 , 汤米·A·琼蒂拉 , 伊尔卡·尼梅尔 :
冲突驱动的XOR子句学习(扩展版)。 CoRR公司 abs/1407.6571 ( 2014 ) 2013 [公元39年] 罗兰·金德曼 , 汤米·A·琼蒂拉 , 伊尔卡·尼梅尔 :
时间自动机MITL片段的有界模型检验。 ACSD系统 2013 : 216-225 [公元38年] 特罗·莱蒂宁 , 汤米·A·琼蒂拉 , 伊尔卡·尼梅尔 :
模拟奇偶推理。 LPAR公司 2013 : 568-583 [i5] 罗兰·金德曼 , 汤米·A·琼蒂拉 , 伊尔卡·尼梅尔 :
时间自动机MITL片段的有界模型检验。 CoRR公司 abs/1304.7209 ( 2013 ) [i4] 特罗·莱蒂宁 , 汤米·A·琼蒂拉 , 伊尔卡·尼梅尔 :
模拟奇偶校验推理(扩展版)。 CoRR公司 abs/1311.4289 ( 2013 ) 2012 [公元11年] 乔里·杜布罗文 , 汤米·A·琼蒂拉 , 凯霍·赫尔扬科 :
利用步骤语义对异步系统进行有效的有界模型检查。 科学。 计算。 程序。 77 ( 10-11 ) : 1095-1121 ( 2012 ) [公元37年] 特罗·莱蒂宁 , 汤米·A·琼蒂拉 , 伊尔卡·尼梅尔 :
对奇偶约束进行分类和传播。 人物配对关系 2012 : 357-372 [c36] 罗兰·金德曼 , 汤米·A·琼蒂拉 , 伊尔卡·尼梅尔 :
基于SMT的时间系统归纳方法。 格式 2012 : 171-187 [公元35年] 罗兰·金德曼 , 汤米·A·琼蒂拉 , 伊尔卡·尼梅尔 :
超越拉索:完成基于SMT的时间自动机有界模型检查。 FMOODS/FORTE公司 2012 : 84-100 [公元34年] 特罗·莱蒂宁 , 汤米·A·琼蒂拉 , 伊尔卡·尼梅尔 :
用完全奇偶推理扩展子句学习SAT解题器。 国际通信技术协会 2012 : 65-72 [c33] 特罗·莱蒂宁 , 汤米·A·琼蒂拉 , 伊尔卡·尼梅尔 :
冲突驱动的XOR子句学习。 坐 2012 : 383-396 [i3] 罗兰·金德曼 , 汤米·A·琼蒂拉 , 伊尔卡·尼梅尔 :
基于SMT的定时系统归纳法。 CoRR公司 abs/1204.5639 ( 2012 ) [i2] 特罗·莱蒂宁 , 汤米·A·琼蒂拉 , 伊尔卡·尼梅尔 :
使用完全奇偶推理扩展子句学习SAT解题器(扩展版本)。 CoRR公司 abs/1207.0988 ( 2012 ) 2011 [公元10年] 安蒂·埃罗·约翰内斯·海瓦里宁 , 汤米·A·琼蒂拉 , 伊尔卡·尼梅尔 :
随机搜索的搜索空间划分。 芬丹。 信息学 107 ( 2-3 ) : 289-311 ( 2011 ) [公元9年] Tuomas Launiainen公司 , 凯霍·赫尔扬科 , 汤米·A·琼蒂拉 :
PSL安全属性的有效模型检查。 IET计算。 数字。 技术。 5 ( 6 ) : 479-492 ( 2011 ) [公元32年] 罗兰·金德曼 , 汤米·A·琼蒂拉 , 伊尔卡·尼梅尔 :
带时钟的安全仪表系统符号分析建模。 ACSD系统 2011 : 185-194 [公元31年] 安蒂·埃罗·约翰内斯·海瓦里宁 , 汤米·A·琼蒂拉 , 伊尔卡·尼梅尔 :
基于网格的SAT求解与迭代分区和子句学习。 人物配对关系 2011 : 385-399 [公元30年] 特罗·莱蒂宁 , 汤米·A·琼蒂拉 , 伊尔卡·尼梅尔 :
基于等价类的DPLL奇偶校验推理(XOR)。 国际通信技术协会 2011 : 649-658 [公元29年] 汤米·A·琼蒂拉 , 佩特里·卡斯基 :
规范标记的冲突传播和组件递归。 餐前小吃 2011 : 151-162 2010 [公元28年] Tuomas Launiainen公司 , 凯霍·赫尔扬科 , 汤米·A·琼蒂拉 :
PSL安全属性的有效模型检查。 ACSD系统 2010 : 95-104 [公元27年] 汤米·A·琼蒂拉 , 佩特里·卡斯基 :
通过可满足性实现精确覆盖:一项实证研究。 人物配对关系 2010 : 297-304 [公元26年] 特罗·莱蒂宁 , 汤米·A·琼蒂拉 , 伊尔卡·尼梅尔 :
基于奇偶推理的扩展子句学习DPLL。 ECAI公司 2010 : 21-26 [公元25年] 安蒂·埃罗·约翰内斯·海瓦里宁 , 汤米·A·琼蒂拉 , 伊尔卡·尼梅尔 :
用于分布式解决的分区SAT实例。 LPAR(日惹) 2010 : 372-386
2000 – 2009
2009 [j8] 马蒂·贾维萨洛 , 汤米·A·琼蒂拉 :
限制分支在小句学习中的局限性。 制约国际期刊。 14 ( 三 ) : 325-356 ( 2009 ) [j7] 安蒂·埃罗·约翰内斯·海瓦里宁 , 汤米·A·琼蒂拉 , 伊尔卡·尼梅尔 :
在基于网格的随机SAT求解中引入子句学习。 J.满意。 布尔模型。 计算。 6 ( 4 ) : 223-244 ( 2009 ) [公元24年] 安蒂·埃罗·约翰内斯·海瓦里宁 , 汤米·A·琼蒂拉 , 伊尔卡·尼梅尔 :
随机搜索的搜索空间划分。 AI*IA公司 2009 : 243-252 【c23】 亚历山德罗·西马蒂 , 乔里·杜布罗文 , 汤米·A·琼蒂拉 , 马可·罗维里 :
谓词抽象的结构感知计算。 FMCAD公司 2009 : 9-16 [第1页] 罗尔夫·德雷克斯勒 , 汤米·A·琼蒂拉 , 伊尔卡·尼梅尔 :
非条款SAT和ATPG。 可满足性手册 2009 : 655-693 2008 [公元22年] 马蒂·贾维萨洛 , 汤米·A·琼蒂拉 :
论自上而下分支启发式的力量。 AAAI公司 2008 : 304-309 【c21】 乔里·杜布罗文 , 汤米·A·琼蒂拉 :
分层UML状态机的符号模型检查。 ACSD系统 2008 : 108-117 [公元20年] 安蒂·埃罗·约翰内斯·海瓦里宁 , 汤米·A·琼蒂拉 , 伊尔卡·尼梅尔 :
将学习纳入基于网格的随机SAT求解。 AIMSA公司 2008 : 247-261 [第19条] 安蒂·埃罗·约翰内斯·海瓦里宁 , 汤米·A·琼蒂拉 , 伊尔卡·尼梅尔 :
通过随机搜索解决网格中SAT的策略。 AISC/MKM/结石 2008 : 125-140 [c18] 马蒂·贾维萨洛 , 汤米·A·琼蒂拉 , 伊尔卡·尼梅尔 :
基于正当性的SAT非Clausal本地搜索。 ECAI公司 2008 : 535-539 [c17] 乔里·杜布罗文 , 汤米·A·琼蒂拉 , 凯霍·赫尔扬科 :
基于对象的通信状态机的符号步骤编码。 FMOODS公司 2008 : 96-112 [第16条] 马蒂·贾维萨洛 , 汤米·A·琼蒂拉 , 伊尔卡·尼梅尔 :
基于调整的局部搜索和自适应噪声策略。 LPAR公司 2008 : 31-46 [第15条] 汤米·A·琼蒂拉 , 乔里·杜布罗文 :
基于可满足模理论的有界模型检验中的编码队列。 LPAR公司 2008 : 290-304 2007 [第14条] 汤米·A·琼蒂拉 , 佩特里·卡斯基 :
为大型和稀疏图设计一个高效的规范标记工具。 亚历克斯 2007 [第13条] 马蒂·贾维萨洛 , 汤米·A·琼蒂拉 :
子句学习中受限分支的限制。 人物配对关系 2007 : 348-363 2006 [j6] 马可·波扎诺 , 罗伯托·布鲁托梅索 , 亚历山德罗·西马蒂 , 汤米·A·琼蒂拉 , 西尔维奥·兰伊斯 , 彼得·范·罗苏姆 , 罗伯托·塞巴斯蒂亚尼 :
通过布尔搜索进行有效的理论组合。 Inf.计算。 204 ( 10 ) : 1493-1525 ( 2006 ) [j5] 阿明·比尔 , 凯霍·赫尔扬科 , 汤米·A·琼蒂拉 , 蒂莫·拉塔瓦拉 , 维克多·舒潘 :
有界LTL模型检查的线性编码。 日志。 方法计算。 科学。 2 ( 5 ) ( 2006 ) [c12] 凯霍·赫尔扬科 , 汤米·A·琼蒂拉 , Misa Keinänen女士 , 马丁·兰格 , 蒂莫·拉塔瓦拉 :
弱交替Büchi自动机的有界模型检验。 CAV汽车 2006 : 95-108 [第11条] 安蒂·埃罗·约翰内斯·海瓦里宁 , 汤米·A·琼蒂拉 , 伊尔卡·尼梅尔 :
求解网格中SAT的一种分布方法。 坐 2006 : 430-435 [i1] 阿明·比尔 , 凯霍·赫尔扬科 , 汤米·A·琼蒂拉 , 蒂莫·拉塔瓦拉 , 维克多·舒潘 :
有界LTL模型检查的线性编码。 CoRR公司 abs/cs/0611029 ( 2006 ) 2005 【j4】 马蒂·贾维萨洛 , 汤米·A·琼蒂拉 , 伊尔卡·尼梅尔 :
布尔电路表方法中的无限制切割与限制切割。 安。数学。 Artif公司。 智力。 44 ( 4 ) : 373-399 ( 2005 ) [j3] 马可·波扎诺 , 罗伯托·布鲁托梅索 , 亚历山德罗·西马蒂 , 汤米·A·琼蒂拉 , 彼得·范·罗苏姆 , 斯蒂芬·舒尔茨 , 罗伯托·塞巴斯蒂亚尼 :
数学SAT:SAT与数学决策程序的紧密结合。 J.汽车。 原因。 35 ( 1-3 ) : 265-293 ( 2005 ) [第10条] 马可·波扎诺 , 罗伯托·布鲁托梅索 , 亚历山德罗·西马蒂 , 汤米·A·琼蒂拉 , 彼得·范·罗苏姆 , 斯蒂芬·舒尔茨 , 罗伯托·塞巴斯蒂亚尼 :
MathSAT 3系统。 CADE公司 2005 : 315-321 【c9】 凯霍·赫尔扬科 , 汤米·A·琼蒂拉 , 蒂莫·拉塔瓦拉 :
完整PLTL的增量和完整有界模型检查。 CAV汽车 2005 : 98-111 【c8】 马可·波扎诺 , 罗伯托·布鲁托梅索 , 亚历山德罗·西马蒂 , 汤米·A·琼蒂拉 , 西尔维奥·兰伊斯 , 彼得·范·罗苏姆 , 罗伯托·塞巴斯蒂亚尼 :
通过延迟理论组合的有效可满足性模理论。 CAV汽车 2005 : 335-349 【c7】 马可·波扎诺 , 罗伯托·布鲁托梅索 , 亚历山德罗·西马蒂 , 汤米·A·琼蒂拉 , 彼得·范·罗苏姆 , 斯蒂芬·舒尔茨 , 罗伯托·塞巴斯蒂亚尼 :
线性算术逻辑可满足性的增量分层过程。 TACAS公司 2005 : 317-333 【c6】 蒂莫·拉塔瓦拉 , 阿明·比尔 , 凯霍·赫尔扬科 , 汤米·A·琼蒂拉 :
简单就是更好:对过去的LTL进行有效的有界模型检查。 VMCAI公司 2005 : 380-395 2004 【c5】 汤米·A·琼蒂拉 :
数据对称的新轨道算法。 ACSD系统 2004 : 175-184 【c4】 汤米·A·琼蒂拉 :
位置/转换网络的新标准化代表标记算法。 ICATPN公司 2004 : 258-277 【c3】 蒂莫·拉塔瓦拉 , 阿明·比尔 , 凯霍·赫尔扬科 , 汤米·A·琼蒂拉 :
简单有界LTL模型检查。 FMCAD公司 2004 : 186-200 【c2】 马蒂·贾维萨洛 , 汤米·A·琼蒂拉 , 伊尔卡·尼梅尔 :
布尔电路表方法中的无限制切割与限制切割。 人工智能与维护 2004 2003 【b1】 汤米·A·琼蒂拉 :
关于Petri网的对称约简方法和类似形式。 芬兰埃斯波阿尔托大学, 2003 2001 [注2] 汤米·A·琼蒂拉 :
位置/过渡-网络对称约简方法的计算复杂性。 J.大学。 计算。 科学。 7 ( 4 ) : 307-326 ( 2001 ) 2000 【c1】 汤米·A·琼蒂拉 , 伊尔卡·尼梅尔 :
布尔电路可满足性检查的高效Tableau方法。 计算逻辑 2000 : 553-567
1990 – 1999
1999 [j1] 汤米·A·琼蒂拉 :
寻找代数系统网的对称性。 芬丹。 信息学 37 ( 三 ) : 269-289 ( 1999 )