×
作者ID: 罗马尼亚“Rintanen,Jussi”最近发表的zbMATH文章
发布日期: 尤西·林塔南;J.林丹恩。
已编制索引的文档: 15出版物自1994年以来
合著者: 7合著者具有7联合出版物
211合作作者

按年份列出的出版物

zbMATH Open中包含的引文

14出版物有被引用124中的次101文件 引用人 年份
通过理论证明构建条件计划。 Zbl 0916.68139号
J.林丹恩。
32
1999
作为可满足性的计划:计划搜索的并行计划和算法。 Zbl 1131.68099号
尤西·林塔南;凯乔·赫尔扬科;伊尔卡·尼梅尔
22
2006
回答集编程为SAT模非循环。 Zbl 1366.68017号
马丁·盖布瑟;汤米·詹胡宁;尤西·林塔南
14
2014
作为可满足性的规划:启发式。 Zbl 1270.68276号
尤西·林塔南
11
2012
SAT模图:无环性。 Zbl 1432.68328号
马丁·盖布瑟;汤米·詹胡宁;尤西·林塔南
8
2014
经典规划的并行编码作为可满足性。 Zbl 1111.68660号
尤西·林塔南;凯乔·赫尔扬科;伊尔卡·尼梅尔
7
2004
量化布尔公式的Davis-Putnam程序中的部分隐式展开。 Zbl 1275.03082号
尤西·林塔南
7
2001
默认逻辑中的词汇优先级。 Zbl 0910.68162号
尤西·林塔南
6
1998
通过约束优化学习离散可分解图形模型。 Zbl 1505.62200号
汤米·詹胡宁;马丁·盖布瑟;尤西·林塔南;亨利克·尼曼;约翰·彭萨尔;朱卡·科兰德
6
2017
部分可观测和无限执行下条件规划的复杂性。 Zbl 1327.68231号
尤西·林塔南
2012
关于分层对非单调推理复杂性的影响。 兹比尔0820.03013
伊尔卡·尼梅尔;尤西·林塔南
2
1994
优先默认逻辑的复杂性。 Zbl 0910.68203号
J.林丹恩。
2
1998
非循环属性的声明性编码。 Zbl 1487.68222号
马丁·盖布瑟;汤米·詹胡宁;尤西·林塔南
2
2020
计算时间不变量的基于约束的算法。 Zbl 1432.68419号
尤西·林塔南
2
2014
非循环属性的声明性编码。 Zbl 1487.68222号
马丁·盖布瑟;汤米·詹胡宁;尤西·林塔南
2
2020
通过约束优化学习离散可分解图形模型。 Zbl 1505.62200号
汤米·詹胡宁;马丁·盖布瑟;尤西·林塔南;亨利克·尼曼;约翰·彭萨尔;朱卡·科兰德
6
2017
将编程设置为SAT模非循环性。 Zbl 1366.68017号
马丁·盖布瑟;汤米·詹胡宁;尤西·林塔南
14
2014
SAT模图:无环性。 Zbl 1432.68328号
马丁·盖布瑟;汤米·詹胡宁;尤西·林塔南
8
2014
计算时间不变量的基于约束的算法。 Zbl 1432.68419号
尤西·林塔南
2
2014
作为可满足性的规划:启发式。 Zbl 1270.68276号
尤西·林塔南
11
2012
部分可观测和无限执行下条件规划的复杂性。 Zbl 1327.68231号
尤西·林塔南
2012
作为可满足性的计划:计划搜索的并行计划和算法。 Zbl 1131.68099号
尤西·林塔南;凯乔·赫尔扬科;伊尔卡·尼梅尔
22
2006
经典规划的并行编码作为可满足性。 Zbl 1111.68660号
尤西·林塔南;凯乔·赫尔扬科;伊尔卡·尼梅尔
7
2004
量化布尔公式的Davis-Putnam程序中的部分隐式展开。 Zbl 1275.03082号
尤西·林塔南
7
2001
通过理论证明构建条件计划。 Zbl 0916.68139号
J.林丹恩。
32
1999
默认逻辑中的词汇优先级。 Zbl 0910.68162号
尤西·林塔南
6
1998
优先默认逻辑的复杂性。 Zbl 0910.68203号
Rintanen,J。
2
1998
关于分层对非单调推理复杂性的影响。 Zbl 0820.03013号
伊尔卡·尼梅尔;尤西·林塔南
2
1994
全部的 前5名

被196位作者引用

12 马丁·盖布瑟
9 汤米·詹胡宁
7 托尔斯滕·绍布(Torsten H.Schaub)。
5 尤西·林塔南
4 马可·马拉提亚
4 弗朗西斯科·里卡
4 克里斯托夫·斯科尔
4 斯泽德,斯特凡
4 拉尔夫·维默(Ralf D.Wimmer)。
贝恩德·贝克尔
乔里·博曼森
亚历山德罗·西马蒂
霍夫曼,约格
罗兰·卡明斯基
Phan Minh Dung公司
哈维尔·罗梅罗
马可·罗维里
阿曼多·塔切拉
保罗·特拉弗索
2 皮耶乔治·贝尔托利
2 阿明·比尔
2 罗恩·布拉夫曼(Ronen I。Brafman)。
2 朱卡·科兰德
2 Czarnecki、Krzysztof
2 埃格利,乌韦
2 爱德华·艾本
2 托马斯·艾特
2 沃尔夫冈·费伯
2 约翰·克劳斯·费希特
2 维杰·加内什
2 罗伯特·加尼安
2 恩里科·金西格里亚
2 凯乔·赫尔扬科
2 本杰明·考夫曼
2 Niemelä,Ilkka N.F。
2 亨利克·尼曼
2 塞巴斯蒂安·奥德尼亚克
2 路易吉·帕洛波利
2 约翰·彭萨尔
2 马可·皮斯托雷
2 卢卡·普利纳
2 马苏德·费兹巴赫斯·兰库
2 恩里科·斯卡拉
2 帕维尔·苏瑞克
2 王金燕
2 斯特凡·沃尔特兰
2 吴京丽
2 尹明浩
2 爱德华·祖尔科斯基
1 穆罕默德·阿卜杜勒·阿齐兹
1 阿格海伊,梅萨姆
1 塔斯尼姆·纳赛尔·叶海亚
1 安东·安德烈库克
1 法布里西奥·安吉乌利
1 奥费尔·阿列利
1 多尔·阿茨蒙
1 法希姆·巴克斯
1 克里斯特·Bäckström
1 瓦莱里·巴拉巴诺夫
1 奇塔·R·巴拉尔。
1 雷切尔·本·埃利亚胡·佐哈里
1 萨拉·贝尔纳迪尼
1 巴特·博加特
1 费迪南德·贝尔纳
1 维克托·布拉伯曼
1 朱利安·布雷尔
1 布莱特,柯蒂斯
1 布洛克-南内斯塔德,陶斯
1 乌韦·布贝克
1 安德烈·布拉托夫(Andrei A.Bulatov)。
1 蔡敦波
1 弗朗西斯科·卡利默里
1 马丁·卡米纳达。
1 克劳迪奥·卡斯泰里尼
1 陈,胡比
1 陈一新
1 玛尔塔·恰尔迪亚·梅耶
1 丹尼尔·阿尔弗雷多·乔勒克
1 塞利亚·达科斯塔·佩雷拉
1 达莫塔,贝诺特
1 沃尔夫·德·沃尔夫
1 亚尼斯·迪莫普洛斯
1 尼古拉斯·迪波利托
1 做,明B。
1 卡梅尔·多姆什拉克
1 乔里·杜布罗文
1 马蒂亚斯·杜兰
1 穆罕默德·埃尔巴奇尔·梅奈
1 穆罕默德·科拉尼。
1 埃斯拉·埃尔登
1 法比奥·法格纳尼
1 豪尔赫·范丁诺
1 朱利娅·弗朗西斯科托
1 弗罗莱克斯,尼尔斯
1 塞尔盖·加斯佩斯
1 艾尔·格恩斯特
1 阿方索·埃米利奥·杰雷维尼
1 Gholamreza Ghassem-Sani
1 卡里娜·吉蒂娜
1 A.A.Gorbenko。
…还有96位作者

按年份列出的引文