编辑配置文件(在新选项卡中打开) 尤西·林塔南 合著者距离 作者ID: 罗马尼亚 发布日期: 尤西·林塔南;J.林丹恩。 已编制索引的文档: 15出版物自1994年以来 合著者: 7合著者具有7联合出版物 211合作作者 全部的 前5名合著者 8 单作者的 4 马丁·盖布瑟 4 汤米·詹胡宁 三 Niemelä,Ilkka N.F。 2 凯乔·赫尔扬科 1 朱卡·科兰德 1 亨利克·尼曼 1 约翰·彭萨尔 系列 三 人工智能 2 人工智能研究杂志 1 逻辑与计算杂志 1 应用非经典逻辑杂志 1 统计与计算 字段 15 计算机科学(68-XX) 4 数学逻辑和基础(03-XX) 1 统计学(62-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 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名被引用出版物 全部的 前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位作者 全部的 前5名25篇连载文章中引用 32 人工智能 6 逻辑程序设计理论与实践 5 数学与人工智能年鉴 三 自动推理杂志 三 约束条件 2 理论计算机科学 2 工程中的数学问题 2 应用逻辑杂志 1 离散应用数学 1 斯堪的纳维亚统计杂志 1 Automatica公司 1 模糊集与系统 1 计算机与系统科学杂志 1 哲学逻辑杂志 1 编程和计算机软件 1 计算机程序设计科学 1 计算机科学与技术杂志 1 信息与计算 1 系统设计中的形式化方法 1 逻辑、语言与信息杂志 1 人工智能研究杂志 1 国际不确定性、模糊性和基于知识的系统杂志 1 ACM计算逻辑事务 1 可满足性、布尔建模与计算杂志 1 统计与计算 全部的 前5名在9个字段中引用 98 计算机科学(68-XX) 8 数学逻辑和基础(03-XX) 2 组合数学(05-XX) 2 统计学(62-XX) 1 一般代数系统(08-XX) 1 运筹学、数学规划(90-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 生物学和其他自然科学(92-XX) 1 系统论;控制(93至XX) 按年份列出的引文