编辑配置文件(在新选项卡中打开) 莱昂纳多·德·莫拉 合著者距离 作者ID: 德穆拉莱昂纳多 发布日期: 莱昂纳多·德·莫拉;莱昂纳多·德·莫拉;莱昂纳多·德·莫拉;莱昂纳多·莫拉 更多。。。较少的 主页: https://leodemoura.github.io/ 外部链接: MGP公司·维基数据·ResearchGate研究之门·推特 已编制索引的文档: 35出版物自2002年起 5作为编辑的贡献·1进一步贡献 合著者: 33位合著者具有39联合出版物 743合著作者 全部的 前5名合著者 2 单作者的 9 尼古拉·S·比约纳。 6 哈拉尔德街 4 克拉克·W·巴雷特。 4 德扬·约瓦诺维奇 4 Natarajan Shankar 三 帕斯莫尔,格兰特·奥尼 三 玛丽亚·索里亚 三 阿伦·斯塔姆 三 塞巴斯蒂安·乌尔里奇 2 玛丽亚·保拉(Maria Paola Bonacina) 2 林奇,Christopher A。 2 萨姆·奥雷 2 约翰·拉什比 1 Andronick,六月 1 杰里米·阿维加德 1 布鲁诺·杜特雷 1 帕斯卡·方丹 1 葛叶婷 1 尤塞夫·哈马迪 1 朱利亚诺·伊奥达 1 穆阿·约翰逊 1 迈克尔·科尔哈斯 1 孔顺浩 1 丹尼尔·科宁 1 希勒尔·库格勒 1 布鲁斯·米勒。 1 劳伦斯·查尔斯·保尔森 1 鲁齐卡皮斯卡 1 丹尼尔·塞尔萨姆 1 斯特里赫曼(Ofer Strichman) 1 阿什什·库马尔·蒂瓦里 1 弗兰克·W·汤帕。 1 弗洛里斯·范·道恩 1 马古斯·维恩斯 1 雅各布·冯·劳默 1 Christoph M.温特斯泰格。 全部的 前5名系列 5 自动推理杂志 三 计算机科学课堂讲稿 2 系统设计中的形式化方法 1 计算机科学中的逻辑方法 1 LIPIcs–莱布尼茨国际信息学会议录 1 理论计算机科学课文。EATCS系列 领域 41 计算机科学(68至XX) 17 数理逻辑与基础(03-XX) 5 总体主题;集合(00-XX) 2 运筹学、数学规划(90-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 39出版物有被引用531中的次379文件 引用人▼ 年份▼ 精益定理证明器(系统描述)。 Zbl 1465.68279号 莱昂纳多·德·莫拉;孔顺浩;杰里米·阿维加德;弗洛里斯·范·道恩;雅各布·冯·劳默 69 2015 求解非线性算法。 兹比尔1358.68257 德扬·约瓦诺维奇;莱昂纳多·德·莫拉 55 2012 SMT求解器的高效E-matching。 Zbl 1213.68578号 莱昂纳多·德·莫拉;尼古拉·比约纳 53 2007 可满足模理论中量化公式的完整实例化。 Zbl 1242.68280号 葛叶婷;莱昂纳多·德·莫拉 50 2009 一种模型构造可满足性演算。 Zbl 1426.68251号 莱昂纳多·德·莫拉;德扬·约瓦诺维奇 29 2013 无限域上有界模型检验的懒惰定理证明。 Zbl 1072.68602号 莱昂纳多·德·莫拉;哈拉尔德街;玛丽亚·索里亚 21 2002 关于通过带有推测推理的定理证明来确定可满足性。 Zbl 1243.68265号 玛丽亚·保拉(Maria Paola Bonacina);林奇,Christopher A。;莱昂纳多·德·莫拉 20 2011 决策程序。算法观点。第二版。 Zbl 1358.68002号 丹尼尔·克罗宁;斯特里赫曼(Ofer Strichman) 20 2016 基于模型的理论组合。 Zbl 1277.03007号 莱昂纳多·德·莫拉;尼古拉·比约纳 19 2008 工程DPLL(T)+饱和度。 Zbl 1165.68479号 莱昂纳多·德·莫拉;尼古拉·比约纳 19 2008 有效求解量化位向量公式。 Zbl 1284.03212号 Christoph M.温特斯泰格。;尤塞夫·哈马迪;莱昂纳多·德·莫拉 18 2013 使用DPLL和替换集有效地判定命题逻辑。 Zbl 1197.03011号 鲁齐卡皮斯卡;莱昂纳多·德·莫拉;尼古拉·比约纳 15 2010 SAL 2。 Zbl 1103.68644号 莱昂纳多·德·莫拉;萨姆·奥雷;哈拉尔德街;约翰·拉什比;北卡罗来纳州Shankar。;玛丽亚·索里亚;阿什什·蒂瓦里 13 2004 有界模型检验和归纳:从反驳到验证(扩展抽象,A类)。 Zbl 1278.68199号 莱昂纳多·德·莫拉;哈拉尔德街;玛丽亚·索里亚 12 2003 内嵌扣除的ICS决策程序。 Zbl 1126.68575号 莱昂纳多·德·莫拉;萨姆·奥雷;哈拉尔德街;约翰·拉什比;Natarajan Shankar 12 2004 使用DPLL和替换集有效地确定命题逻辑。 Zbl 1165.03320号 莱昂纳多·德·莫拉;尼古拉·比约纳 10 2008 符号自动机约束求解。 Zbl 1306.68097号 马古斯·维恩斯;尼古拉·比约纳;莱昂纳多·德·莫拉 10 2010 SMT-COMP:可满足性模理论竞争。 Zbl 1081.68607号 克拉克·巴雷特;莱昂纳多·莫拉;阿伦·斯塔姆 10 2005 切入正题。求解线性整数算法。 Zbl 1314.90053号 德扬·约瓦诺维奇;莱昂纳多·德·莫拉 10 2013 精益4定理证明器和编程语言。 Zbl 07437105号 莱昂纳多·德·莫拉;塞巴斯蒂安·乌尔里奇 9 2021 有理数实闭无穷小和超越扩张中的计算。 兹比尔1381.68278 莱昂纳多·德·莫拉;帕斯莫尔,格兰特·奥尼 8 2013 关于用(\mathrm{DPLL}(\Gamma+{mathcalT})判定可满足性和不健全定理证明。 Zbl 1237.68176号 玛丽亚·保拉(Maria Paola Bonacina);克里斯托弗·林奇;莱昂纳多·德·莫拉 8 2009 可满足性模理论:开胃菜。 Zbl 1266.03047号 莱昂纳多·德·莫拉;尼古拉·比约纳 8 2009 SMT解决中的战略挑战。 Zbl 1383.68084号 莱昂纳多·德·莫拉;帕斯莫尔,格兰特·奥尼 7 2013 切入正题。求解线性整数算法。 Zbl 1314.90054号 德扬·约瓦诺维奇;莱昂纳多·德·莫拉 7 2011 关于可满足性模理论的教程。 Zbl 1135.68563号 莱昂纳多·德·莫拉;布鲁诺·杜特雷;Natarajan Shankar 6 2007 地面决策程序的实验评估。 Zbl 1103.68645号 莱昂纳多·德·莫拉;哈拉尔德街 5 2004 证明平等。 Zbl 1272.68353号 莱昂纳多·德·莫拉;哈拉尔德街;Natarajan Shankar 5 2005 错误、鼹鼠和骨架:软件开发的符号推理。 Zbl 1291.68377号 莱昂纳多·德·莫拉;尼古拉·比约纳 4 2010 第一届可满足性模理论竞赛(SMT-COMP 2005)的设计和结果。 Zbl 1104.68719号 克拉克·巴雷特;莱昂纳多·德·莫拉;阿伦·斯塔姆 三 2005 可满足性模理论的证明。 Zbl 1431.68111号 克拉克·巴雷特;莱昂纳多·德·莫拉;帕斯卡·方丹 三 2015 超越符号:定理证明语言的卫生宏扩展。 Zbl 07614668号 塞巴斯蒂安·乌尔里奇;莱昂纳多·德·莫拉 2 2020 MetiTarski证明的实代数策略。 兹比尔1360.68764 格兰特·奥尔尼,帕斯莫尔;劳伦斯·C·鲍尔森。;莱昂纳多·德·莫拉 2 2012 自动扣除–CADE 26。2017年8月6日至11日在瑞典哥德堡举行的第26届自动扣减国际会议。诉讼程序。 Zbl 1369.68037号 2 2017 第二届年度可满足性模理论竞赛(SMT-COMP 2006)的设计和结果。 Zbl 1129.68498号 克拉克·巴雷特;莱昂纳多·德·莫拉;阿伦·斯塔姆 2 2007 第十三届交互式定理证明国际会议,ITP 2022,以色列海法,2022年8月7日至10日。 Zbl 1494.68006号 2 2022 智能计算机数学。2016年7月25日至29日,第九届国际会议,CICM 2016,波兰比亚莱斯托克。诉讼程序。 Zbl 1342.68025号 1 2016 内涵型理论中的同余闭包。 Zbl 1475.68452号 丹尼尔·塞尔萨姆;莱昂纳多·德·莫拉 1 2016 超越符号:定理证明语言的卫生宏扩展。 Zbl 07566057号 塞巴斯蒂安·乌尔里奇;莱昂纳多·德·莫拉 1 2022 第十三届交互式定理证明国际会议,ITP 2022,以色列海法,2022年8月7日至10日。 Zbl 1494.68006号 2 2022 超越符号:定理证明语言的卫生宏扩展。 Zbl 07566057号 塞巴斯蒂安·乌尔里奇;莱昂纳多·德·莫拉 1 2022 精益4定理证明器和编程语言。 Zbl 07437105号 莱昂纳多·德·莫拉;塞巴斯蒂安·乌尔里奇 9 2021 超越符号:定理证明语言的卫生宏扩展。 Zbl 07614668号 塞巴斯蒂安·乌尔里奇;莱昂纳多·德·莫拉 2 2020 自动扣除–CADE 26。2017年8月6日至11日在瑞典哥德堡举行的第26届自动扣减国际会议。诉讼程序。 Zbl 1369.68037号 2 2017 决策程序。算法观点。第二版。 Zbl 1358.68002号 丹尼尔·克罗宁;斯特里赫曼(Ofer Strichman) 20 2016 智能计算机数学。2016年7月25日至29日,第九届国际会议,CICM 2016,波兰比亚莱斯托克。诉讼程序。 Zbl 1342.68025号 1 2016 内涵型理论中的同余闭包。 Zbl 1475.68452号 丹尼尔·塞尔萨姆;莱昂纳多·德·莫拉 1 2016 精益定理证明器(系统描述)。 Zbl 1465.68279号 莱昂纳多·德·莫拉;孔顺浩;杰里米·阿维加德;弗洛里斯·范·道恩;雅各布·冯·劳默 69 2015 可满足性模理论的证明。 Zbl 1431.68111号 克拉克·巴雷特;莱昂纳多·德·莫拉;帕斯卡·方丹 三 2015 一种模型构造可满足性演算。 Zbl 1426.68251号 莱昂纳多·德·莫拉;德扬·约瓦诺维奇 29 2013 有效求解量化位向量公式。 Zbl 1284.03212号 Christoph M.温特斯泰格。;尤塞夫·哈马迪;莱昂纳多·德·莫拉 18 2013 切入正题。求解线性整数算法。 Zbl 1314.90053号 德扬·约瓦诺维奇;莱昂纳多·德·莫拉 10 2013 有理数实闭无穷小和超越扩张中的计算。 兹比尔1381.68278 莱昂纳多·德·莫拉;帕斯莫尔,格兰特·奥尼 8 2013 SMT解决中的战略挑战。 Zbl 1383.68084号 莱昂纳多·德·莫拉;帕斯莫尔,格兰特·奥尼 7 2013 求解非线性算法。 兹比尔1358.68257 德扬·约瓦诺维奇;莱昂纳多·德·莫拉 55 2012 MetiTarski证明的实代数策略。 兹比尔1360.68764 格兰特·奥尔尼,帕斯莫尔;劳伦斯·C·鲍尔森。;莱昂纳多·德·莫拉 2 2012 关于通过带有推测推理的定理证明来确定可满足性。 Zbl 1243.68265号 玛丽亚·保拉(Maria Paola Bonacina);林奇,Christopher A。;莱昂纳多·德·莫拉 20 2011 切入正题。求解线性整数算法。 Zbl 1314.90054号 德扬·约瓦诺维奇;莱昂纳多·德·莫拉 7 2011 使用DPLL和替换集有效地确定命题逻辑。 Zbl 1197.03011号 鲁齐卡皮斯卡;莱昂纳多·德·莫拉;尼古拉·比约纳 15 2010 符号自动机约束求解。 Zbl 1306.68097号 马古斯·维恩斯;尼古拉·比约纳;莱昂纳多·德·莫拉 10 2010 错误、鼹鼠和骨架:软件开发的符号推理。 Zbl 1291.68377号 莱昂纳多·德·莫拉;尼古拉·比约纳 4 2010 可满足模理论中量化公式的完整实例化。 Zbl 1242.68280号 葛叶婷;莱昂纳多·德·莫拉 50 2009 关于用(\mathrm{DPLL}(\Gamma+{mathcalT})判定可满足性和不健全定理证明。 Zbl 1237.68176号 玛丽亚·保拉(Maria Paola Bonacina);克里斯托弗·林奇;莱昂纳多·德·莫拉 8 2009 可满足性模理论:开胃菜。 Zbl 1266.03047号 莱昂纳多·德·莫拉;尼古拉·比约纳 8 2009 基于模型的理论组合。 Zbl 1277.03007号 莱昂纳多·德·莫拉;尼古拉·比约纳 19 2008 工程DPLL(T)+饱和。 Zbl 1165.68479号 莱昂纳多·德·莫拉;尼古拉·比约纳 19 2008 使用DPLL和替换集有效地确定命题逻辑。 Zbl 1165.03320号 莱昂纳多·德·莫拉;尼古拉·比约纳 10 2008 SMT求解器的高效E-matching。 Zbl 1213.68578号 莱昂纳多·德·莫拉;尼古拉·比约纳 53 2007 关于可满足性模理论的教程。 Zbl 1135.68563号 莱昂纳多·德·莫拉;布鲁诺·杜特雷;Natarajan Shankar 6 2007 第二届年度可满足性模理论竞赛(SMT-COMP 2006)的设计和结果。 Zbl 1129.68498号 克拉克·巴雷特;莱昂纳多·德·莫拉;阿伦·斯塔姆 2 2007 SMT-COMP:可满足性模理论竞争。 Zbl 1081.68607号 克拉克·巴雷特;莱昂纳多·莫拉;阿伦·斯塔姆 10 2005 证明平等。 Zbl 1272.68353号 莱昂纳多·德·莫拉;哈拉尔德街;Natarajan Shankar 5 2005 第一届可满足性模理论竞赛(SMT-COMP 2005)的设计和结果。 Zbl 1104.68719号 克拉克·巴雷特;莱昂纳多·德·莫拉;阿伦·斯塔姆 三 2005 SAL 2。 Zbl 1103.68644号 莱昂纳多·德·莫拉;萨姆·奥雷;哈拉尔德街;约翰·拉什比;北卡罗来纳州Shankar。;玛丽亚·索里亚;阿什什·蒂瓦里 13 2004 内嵌扣除的ICS决策程序。 Zbl 1126.68575号 莱昂纳多·德·莫拉;萨姆·奥雷;哈拉尔德街;约翰·拉什比;Natarajan Shankar 12 2004 地面决策程序的实验评估。 Zbl 1103.68645号 莱昂纳多·德·莫拉;哈拉尔德街 5 2004 有界模型检验和归纳:从反驳到验证(扩展抽象,A类)。 Zbl 1278.68199号 莱昂纳多·德·莫拉;哈拉尔德街;玛丽亚·索里亚 12 2003 无限域上有界模型检验的懒惰定理证明。 Zbl 1072.68602号 莱昂纳多·德·莫拉;哈拉尔德街;玛丽亚·索里亚 21 2002 所有引用的出版物 前5名被引用出版物 全部的 前5名707位作者引用 19 安德鲁·雷诺兹 18 塞萨尔·蒂内利 17 克拉克·W·巴雷特。 17 玛丽亚·保拉(Maria Paola Bonacina) 16 克里斯托夫·韦登巴赫 11 莱昂纳多·德·莫拉 11 英格兰,马修 9 詹姆斯·哈罗德·达文波特 8 艾丽卡·阿尔布拉汉姆 8 贾斯敏·克里斯蒂安·布兰切特 8 亚历山德罗·西马蒂 8 帕斯卡·方丹 8 克里希纳·苏布拉马尼 7 马丁·布隆伯格 7 阿尔贝托·格里乔 7 克雷默,杰伦 7 艾娜·尼梅茨 7 马蒂亚斯·普雷纳 6 德扬·约瓦诺维奇 6 维克多·昆卡 5 哈尼尔·巴博萨 5 西尔维奥·吉拉尔迪 5 劳伦斯·查尔斯·保尔森 5 西尔维奥·兰伊斯 5 罗伯托·塞巴斯蒂亚尼 5 Natarajan Shankar 5 Christoph M.温特斯泰格。 4 杰里米·阿维加德 4 阿明·比尔 4 尼古拉·S·比约纳。 4 克里斯托弗·布朗(Christopher W.Brown)。 4 穆纳乔·埃切宁 4 塞萨里·卡利西克 4 康斯坦丁·科洛文 4 丹尼尔·科宁 4 恩里卡·尼科里尼 4 格兰特·奥尔尼,帕斯莫尔 4 克里斯托夫·林盖森 4 阿伦·斯塔姆 4 托马斯·斯特姆 三 弗朗西斯科·阿尔贝蒂 三 布莱恩,马丁 三 罗伯托·布鲁托梅索 三 戴维·戴哈贝 三 恩里科Giunchilia 三 圣菲省格拉汉·伦格兰德 三 穆阿·约翰逊 三 塞巴斯蒂安·荣格斯 三 Joost-Pieter卡托恩 三 克鲁格洛夫,叶甫根尼·瓦伦蒂诺维奇 三 林奇,Christopher A。 三 帕塔萨拉西马杜苏丹 三 马可·马拉提亚 三 Joáo P.塞尔瓦侯爵。 三 奥德·帕顿 三 Pąk,卡罗尔 三 尼古拉斯·佩尔蒂埃 三 弗洛里安·拉贝 三 马可·罗维里 三 菲利普·吕默 三 穆利·萨吉夫 三 桑吉特·阿伦库马尔·塞希亚 三 娜塔莎·莎莉吉娜 三 沙龙·肖姆 三 斯特雷切克,简 三 斯特里赫曼(Ofer Strichman) 三 索菲·托雷特 三 马古斯·维恩斯 三 埃里克·威瑟 三 大卫·威尔逊。 三 Wojciechowski,Piotr J。 三 尤尼·佐哈尔 2 亚历山德罗·阿巴特 2 安德烈亚斯·阿贝尔(Andreas M.Abel)。 2 亚历山德罗·阿曼多 2 安妮·巴南 2 安德烈·鲍尔 2 贝恩德·贝克尔 2 罗素·J·布拉德福德。 2 亚伦·R·布拉德利。 2 Franz Brauße 2 詹姆斯·布里奇。 2 布莱特,柯蒂斯 2 乌尔里克·巴赫霍尔茨 2 凯文·巴扎德 2 查克拉波蒂,苏普拉特克 2 拉玛斯瓦米·钱德拉塞卡兰 2 杰斯珀·考克斯 2 Sylvain Conchon公司 2 弗朗西斯科·科尔曼 2 马克西米利亚诺·克里斯蒂亚 2 伊娃·达鲁洛娃 2 克里斯蒂娜·大卫 2 德奥利维拉,迭戈·卡米尼亚B。 2 Deters,摩根 2 克莱尔·德罗斯 2 布鲁诺·杜特雷 2 加布里埃尔·埃布纳 2 约塔姆·M·Y·费尔德曼。 2 阿尔贝托·菲奥里 …还有607位作者 全部的 前5名48篇连载文章中引用 55 自动推理杂志 27 系统设计中的形式化方法 17 符号计算杂志 9 人工智能 9 程序设计中的逻辑和代数方法杂志 8 计算的形式方面 7 理论计算机科学 4 信息处理信件 4 函数编程杂志 三 编程与计算机软件 三 信息与计算 三 实验数学 三 数学与人工智能年鉴 三 逻辑程序设计理论与实践 三 计算机科学中的数学 2 信息学报 2 计算机与系统科学杂志 2 计算机程序设计科学 2 MSCS公司。计算机科学中的数学结构 2 欧洲运筹学杂志 2 美国数学学会公报。新系列 2 ACM计算逻辑事务 2 应用逻辑杂志 2 计算机科学中的逻辑方法 2 计算机科学评论 1 离散应用数学 1 数学信使 1 纯逻辑与应用逻辑年鉴 1 国际并行程序设计杂志 1 计算机与运筹学 1 密码学杂志 1 实时系统 1 分布式计算 1 Indagationes Mathematicae公司。新系列 1 结理论杂志及其分歧 1 逻辑、语言与信息杂志 1 应用非经典逻辑杂志 1 应用Clifford代数的进展 1 国际运筹学汇刊 1 计算系统理论 1 计算机基础理论 1 逻辑与代数程序设计杂志 1 自然计算 1 离散优化 1 浙江大学学报。科学A 1 《大学学报》。Informatica公司 1 符号逻辑述评 1 高层建筑 全部的 前5名27个领域被引用 352 计算机科学(68至XX) 131 数理逻辑与基础(03-XX) 18 运筹学、数学规划(90-XX) 7 组合数学(05-XX) 7 代数拓扑(55-XX) 6 数值分析(65-XX) 6 信息与通信理论、电路(94-XX) 4 总体主题;集合(00-XX) 4 数论(11-XX) 4 场论与多项式(12-XX) 4 交换代数(13-XX) 4 代数几何(14-XX) 三 生物学和其他自然科学(92-XX) 三 系统论;控制(93至XX) 2 历史和传记(01-XX) 2 线性代数和多线性代数;矩阵理论(15-XX) 2 范畴理论;同调代数(18-XX) 2 群论与推广(20-XX) 2 常微分方程(34-XX) 2 量子理论(81-XX) 2 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 2 数学教育(97-XX) 1 阶、格、有序代数结构(06-XX) 1 实际功能(26年X月X日) 1 一般拓扑结构(54至XX) 1 歧管和细胞复合体(57-XX) 1 概率论与随机过程(60-XX) 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.