斯蒂芬·舒尔茨 0001
人员信息
附属: Duale Hochschule Baden-Württemberg,德国 附属: 德国慕尼黑技术大学
其他同名人员
斯蒂芬·舒尔茨 0002 — 芬兰赫尔辛基Conformiq公司 (还有3个) 斯蒂芬·舒尔茨 0003 -Mercedes-Benz Research,美国加利福尼亚州帕洛阿尔托 斯蒂芬·舒尔茨 0004 -德国德累斯顿弗劳恩霍夫集成电路研究所 斯蒂芬·舒尔茨 0005 -德国埃森杜伊斯堡大学化学系 斯蒂芬·舒尔茨 0006 -德国朱利希超级计算中心
其他同名人员
SPARQL查询
优化列表
2020年–今天
2023 [公元39年] 扬·贾库布夫 , 卡雷尔·奇瓦洛夫斯克 , 查拉图斯特拉·阿马德乌斯·戈泽尔 , 塞萨里·卡利西克 , 米雷克·奥尔沙克 , 巴托斯·彼得罗夫斯基 , 斯蒂芬·舒尔茨 , 马丁·苏达 , 约瑟夫·乌尔班 :
MizAR 60用于MizAR 50。 ITP公司 2023 : 19:1-19:22 [公元38年] 彼得·武克米洛维奇 , 布兰切特 , 斯蒂芬·舒尔茨 :
将高性能验证程序扩展到高阶逻辑。 TACAS(2) 2023 : 111-129 [i3] 扬·贾库布夫 , 卡雷尔·奇瓦洛夫斯克 , 查拉图斯特拉·阿马德乌斯·戈泽尔 , 塞萨里·卡利西克 , 米雷克·奥尔沙克 , 巴托斯·彼得罗夫斯基 , 斯蒂芬·舒尔茨 , 马丁·苏达 , 约瑟夫·乌尔班 :
MizAR 60用于MizAR 50。 CoRR公司 abs/2303.06686 ( 2023 ) 2022 [公元14年] 彼得·武克米洛维奇 , 布兰切特 , 西蒙·克鲁安斯 , 斯蒂芬·舒尔茨 :
将brainiac证明程序扩展到无lambda-free高阶逻辑。 国际期刊软件。 工具技术。 Transf公司。 24 ( 1 ) : 67-87 ( 2022 ) [公元37年] 亚当·皮斯 , 斯蒂芬·舒尔茨 :
大理论中的矛盾检测与修复。 亚麻布 2022 [公元36年] 斯蒂芬·舒尔茨 :
叠加项序的经验性质。 IJCAR的PAAR 2022 2020 [j13] 迪迪埃·加尔米奇 , 斯蒂芬·舒尔茨 , 罗伯托·塞巴斯蒂亚尼 :
前言:2018年国际癌症研究理事会(IJCAR)精选扩展论文专刊。 J.汽车。 原因。 64 ( 7 ) : 1165-1167 ( 2020 ) [公元35年] 康斯坦丁·鲁多夫 , 斯蒂芬·舒尔茨 :
高效实施大规模监视列表。 PAAR+SC²@IJCAR 2020 : 120-133 [公元34年] 纳库·赛迪 , 汉娜·齐格弗里德 , 斯蒂芬·舒尔茨 , 杰夫·萨特克利夫 :
减少TPTP语言(及其他)。 PAAR+SC²@IJCAR 2020 : 134-147 [公元33年] 斯蒂芬·舒尔茨 , 亚当·皮斯 :
通过示例教学自动定理证明:PyRes 1.2-(系统描述)。 国际JCAR(2) 2020 : 158-166
2010 – 2019
2019 [公元32年] 斯蒂芬·舒尔茨 , 西蒙·克鲁安斯 , 彼得·武克米洛维奇 :
更快、更高、更强:E 2.3。 CADE公司 2019 : 495-507 [公元31年] 彼得·武克米洛维奇 , 贾斯敏·克里斯蒂安·布兰切特 , 西蒙·克鲁安斯 , 斯蒂芬·舒尔茨 :
将Brainiac校准器扩展到Lambda-Free高阶逻辑。 TACAS(1) 2019 : 192-210 2018 [公元12年] 帕斯卡·方丹 , 塞萨里·卡利西克 , 斯蒂芬·舒尔茨 , 约瑟夫·乌尔班 :
自动推理专刊前言。 AI通讯。 31 ( 三 ) : 235-236 ( 2018 ) [公元30年] 查拉图斯特拉·阿马德乌斯·戈泽尔 , 扬·贾库布夫 , 斯蒂芬·舒尔茨 , 约瑟夫·乌尔班 :
观察证据:E。大理论的观察列表指导。 ITP公司 2018 : 270-288 [电子12] 迪迪埃·加尔米奇 , 斯蒂芬·舒尔茨 , 罗伯托·塞巴斯蒂亚尼 :
自动推理——2018年第九届国际联合会议,IJCAR,作为联邦逻辑会议的一部分,2018年7月14日至17日在英国牛津举行,会议记录。 计算机科学课堂讲稿 10900, 施普林格 2018 ,国际标准图书编号 978-3-319-94204-9 [目录] [电子11] 吉尔斯·巴特 , 康斯坦丁柯罗文 , 斯蒂芬·舒尔茨 , 马丁·苏达 , 杰夫·萨特克利夫 , 玛格斯·维恩斯 :
LPAR-22研讨会和简短论文集,埃塞俄比亚阿瓦萨,2018年11月16-21日。 Kalpa计算机出版物 9, 轻松头发 2018 [目录] [i2] 查拉图斯特拉·阿马德乌斯·戈泽尔 , 扬·贾库布夫 , 斯蒂芬·舒尔茨 , 约瑟夫·乌尔班 :
ProofWatch:大肠杆菌大型理论观察名单指南。 CoRR公司 abs/1802.04007 ( 2018 ) 2017 [公元29年] 贾斯敏·克里斯蒂安·布兰切特 , 帕斯卡·方丹 , 斯蒂芬·舒尔茨 , 乌韦·沃尔德曼 :
实现快速交互验证的强大高阶自动化。 拱廊@CADE 2017 : 16-23 [公元28年] 斯蒂芬·舒尔茨 :
我们几乎什么都不知道! l但我们可以学习吗? 拱廊@CADE 2017 : 29-32 [公元27年] 斯蒂芬·舒尔茨 , 杰夫·萨特克利夫 , 约瑟夫·乌尔班 , 亚当·皮斯 :
检测大型一阶知识库中的不一致性。 CADE公司 2017 : 310-325 2016 [公元26年] 穆罕默德·哈索纳 , 斯蒂芬·舒尔茨 :
扣除作为服务。 IJCAR的PAAR 2016 : 32-40 [公元25年] 斯蒂芬·舒尔茨 , 马丁·莫尔曼 :
饱和定理证明的子句选择启发式的性能。 IJCAR公司 2016 : 330-345 [电子10] 帕斯卡尔·方丹 , 斯蒂芬·舒尔茨 , 约瑟夫·乌尔班 :
2016年7月2日,葡萄牙科英布拉,与国际自动推理联合会议(IJCAR 2016)合办的第五届自动推理实践方面研讨会会议记录。 CEUR研讨会记录 1635, CEUR-WS.org公司 2016 [目录] [电子9] 波利斯·寇涅夫 , 斯蒂芬·舒尔茨 , 劳伦特·西蒙 :
IWIL@LPAR 2015年11月23日,第十一届物流实施国际研讨会,斐济苏瓦。 EPiC计算系列 40, 轻松头发 2016 [目录] 2015 [公元24年] 塞萨里·卡利西克 , 斯蒂芬·舒尔茨 , 约瑟夫·乌尔班 , 杰里·维斯科西尔 :
系统描述:E.T.0.1。 CADE公司 2015 : 389-398 【c23】 西蒙·施费尔 , 斯蒂芬·舒尔茨 :
用遗传算法证明启发式的育种定理。 GCAI公司 2015 : 263-274 [公元22年] 杰夫·萨特克利夫 , 斯蒂芬·舒尔茨 :
定理证明者的数千个模型(TMTP)模型库-第一步。 IWIL@LPAR 2015 : 106-121 [电子8] 斯蒂芬·舒尔茨 , 莱昂纳多·德·莫拉 , 波利斯·寇涅夫 :
第四届自动推理实践研讨会, IJCAR的PAAR 2014年,奥地利维也纳,2014年。 EPiC计算系列 31, 轻松头发 2015 [目录] 2014 【c21】 亚当·皮斯 , 斯蒂芬·舒尔茨 :
基于Sigma KEE 3.0的大型本体知识工程。 IJCAR公司 2014 : 519-525 2013 [公元20年] 斯蒂芬·舒尔茨 :
简单高效的特征向量索引子句包容。 自动推理与数学 2013 : 45-67 [第19条] 丹尼尔·库尔文 , 斯蒂芬·舒尔茨 , 约瑟夫·乌尔班 :
电子邮件1.1。 CADE公司 2013 : 407-413 [第18条] 斯蒂芬·舒尔茨 :
系统描述:E 1.8。 LPAR公司 2013 : 735-743 [电子7] 帕斯卡尔·方丹 , 雷娜特·施密特 , 斯蒂芬·舒尔茨 :
2012年6月30日至7月1日,英国曼彻斯特,PAAR-2012,第三次自动推理实践研讨会。 EPiC计算系列 21, 轻松头发 2013 [目录] [电子6] 康斯坦丁柯罗文 , 斯蒂芬·舒尔茨 , 尤金妮娅·特诺夫斯卡 :
IWIL 2012:第九届物流实施国际研讨会,委内瑞拉梅里达,2012年3月10日。 EPiC计算系列 22, 轻松头发 2013 [目录] 2012 [第17条] 斯蒂芬·舒尔茨 :
用于调整和重写的指纹索引。 IJCAR公司 2012 : 477-483 [第16条] 杰夫·萨特克利夫 , 斯蒂芬·舒尔茨 , 科恩·克莱森 , 鲍姆加特内 :
TPTP类型的带算术的一阶表单。 LPAR公司 2012 : 406-419 [电子5] 雷娜特·施密特 , 斯蒂芬·舒尔茨 , 波利斯·寇涅夫 :
2010年7月14日,英国苏格兰爱丁堡,PAAR-2010,第二届自动推理实践方面研讨会论文集。 EPiC计算系列 9, 轻松头发 2012 [目录] [电子4] 杰夫·萨特克利夫 , 斯蒂芬·舒尔茨 , 尤金妮娅·特诺夫斯卡 :
第八届物流实施国际研讨会,IWIL 2010,日惹,印尼,2011年10月9日。 EPiC计算系列 2, 轻松头发 2012 [目录] 2010 [公元11年] 波利斯·寇涅夫 , 雷娜特·施密特 , 斯蒂芬·舒尔茨 :
关于自动推理实际方面的专题。 AI通讯。 23 ( 2-3 ) : 67-68 ( 2010 )
2000 – 2009
2009 [公元10年] 雷娜特·施密特 , 杰夫·萨特克利夫 , 斯蒂芬·舒尔茨 :
经验上成功的计算机推理。 J.应用。 日志。 7 ( 1 ) : 1 ( 2009 ) [公元9年] 亚历山德罗·阿尔曼多 , 玛丽亚·保拉·博纳西纳 , 西尔维奥·兰伊斯 , 斯蒂芬·舒尔茨 :
基于重写的可满足性过程的新结果。 ACM事务处理。 计算。 日志。 10 ( 1 ) : 4:1-4:51 ( 2009 ) 2008 [电子3] 波利斯·寇涅夫 , 雷娜特·施密特 , 斯蒂芬·舒尔茨 :
2008年8月10日至11日,澳大利亚悉尼,第一届自动推理实践方面国际研讨会论文集。 CEUR研讨会记录 373, CEUR-WS.org公司 2008 [目录] [电子2] 彼得罗·鲁德尼基 , 杰夫·萨特克利夫 , 波利斯·寇涅夫 , 雷娜特·施密特 , 斯蒂芬·舒尔茨 :
2008年11月22日,卡塔尔多哈,LPAR 2008年研讨会会议记录,《知识交流:自动证明人和证明助理》,以及第七届物流实施国际研讨会。 CEUR研讨会记录 418, CEUR-WS.org公司 2008 [目录] 2007 [电子1] 杰夫·萨特克利夫 , 约瑟夫·乌尔班 , 斯蒂芬·舒尔茨 :
2007年7月17日于德国不来梅举行的CADE-21大型理论经验成功自动推理研讨会论文集。 CEUR研讨会记录 257, CEUR-WS.org公司 2007 [目录] 2006 [j8] 斯蒂芬·舒尔茨 , 杰夫·萨特克利夫 , 塔内尔·塔米特 :
前言。 国际艺术杂志。 智力。 工具 15 ( 1 ) : 1-2 ( 2006 ) [j7] 伯恩德·菲舍尔 , 杰夫·萨特克利夫 , 斯蒂芬·舒尔茨 :
经验成功的自动推理:系统问题。 J.汽车。 原因。 36 ( 4 ) : 287 ( 2006 ) [j6] 伯恩德·菲舍尔 , 杰夫·萨特克利夫 , 斯蒂芬·舒尔茨 :
经验成功的自动推理:应用程序问题。 J.汽车。 原因。 37 ( 1-2 ) : 1 ( 2006 ) [第15条] 杰夫·萨特克利夫 , 斯蒂芬·舒尔茨 , 科恩·克莱森 , 阿伦·范·盖尔德 :
使用TPTP语言编写派生词和有限解释。 IJCAR公司 2006 : 67-81 [i1] 亚历山德罗·阿尔曼多 , 玛丽亚·保拉·博纳西纳 , 西尔维奥·兰伊斯 , 斯蒂芬·舒尔茨 :
基于重写的可满足性过程的新结果。 CoRR公司 abs/cs/0604054 ( 2006 ) 2005 [j5] 马可·波扎诺 , 罗伯托·布鲁托梅索 , 亚历山德罗·西马蒂 , 汤米·A·琼蒂拉 , 彼得·范·罗苏姆 , 斯蒂芬·舒尔茨 , 罗伯托·塞巴斯蒂亚尼 :
数学SAT:SAT与数学决策程序的紧密结合。 J.汽车。 原因。 35 ( 1-3 ) : 265-293 ( 2005 ) [第14条] 马可·波扎诺 , 罗伯托·布鲁托梅索 , 亚历山德罗·西马蒂 , 汤米·A·琼蒂拉 , 彼得·范·罗苏姆 , 斯蒂芬·舒尔茨 , 罗伯托·塞巴斯蒂亚尼 :
MathSAT 3系统。 CADE公司 2005 : 315-321 [第13条] 亚历山德罗·阿尔曼多 , 玛丽亚·保拉·博纳西纳 , 西尔维奥·兰伊斯 , 斯蒂芬·舒尔茨 :
关于可满足性程序的重写方法:扩展、理论组合和实验评价。 FroCoS公司 2005 : 65-80 [第12条] 马可·波扎诺 , 罗伯托·布鲁托梅索 , 亚历山德罗·西马蒂 , 汤米·A·琼蒂拉 , 彼得·范·罗苏姆 , 斯蒂芬·舒尔茨 , 罗伯托·塞巴斯蒂亚尼 :
线性算术逻辑可满足性的增量分层过程。 TACAS公司 2005 : 317-333 2004 [第11条] 斯蒂芬·舒尔茨 :
系统描述:E 0.81。 IJCAR公司 2004 : 223-228 2002 【j4】 斯蒂芬·舒尔茨 :
一个脑力定理证明器。 AI通讯。 15 ( 2-3 ) : 111-126 ( 2002 ) [第10条] 斯蒂芬·舒尔茨 , 杰夫·萨特克利夫 :
系统描述:GrAnDe 1.0。 CADE公司 2002 : 280-284 【c9】 斯蒂芬·舒尔茨 :
近命题CNF公式的不同接地技术比较。 亚麻布 2002 : 72-76 2001 【c8】 斯蒂芬·舒尔茨 :
系统摘要:E 0.61。 IJCAR公司 2001 : 370-375 【c7】 约阿希姆·德雷格 , 斯蒂芬·舒尔茨 :
通过无冗余引理化提高自动定理证明程序的性能。 FLAIRS公司 2001 : 345-349 【c6】 斯蒂芬·舒尔茨 :
基于信息的抽象层次选择。 FLAIRS公司 2001 : 402-406 [c5] 斯蒂芬·舒尔茨 :
学习等式定理证明的搜索控制知识。 KI/ØGAI 2001 : 320-334 2000 【b1】 斯蒂芬·舒尔茨 :
学习等式演绎的搜索控制知识。 德国慕尼黑技术大学, DISKI公司 230, Infix Akademische Verlagsgesellschaft公司 2000 ,国际标准图书编号 978-3-89838-230-4 第I-XIII页,第1-182页 [j3] 约格·登津格 , 斯蒂芬·舒尔茨 :
从多次验证尝试中自动获取搜索控制知识。 Inf.计算。 162 ( 1-2 ) : 59-79 ( 2000 )
1990 – 1999
1999 【c4】 斯蒂芬·舒尔茨 :
系统摘要:E 0.3。 CADE公司 1999 : 297-301 【c3】 斯蒂芬·舒尔茨 , 费利克斯·布兰特 :
在等式定理证明中使用术语空间映射获取搜索控制知识。 FLAIRS公司 1999 : 244-248 1997 [注2] 约格·登津格 , 马丁·科伦伯格 , 斯蒂芬·舒尔茨 :
折扣-分布式学习等式证明程序。 J.汽车。 原因。 18 ( 2 ) : 189-198 ( 1997 ) 1996 [j1] 约格·登津格 , 斯蒂芬·舒尔茨 :
记录和分析基于知识的分布式演绎过程。 J.塞姆。 计算。 21 ( 4 ) : 523-541 ( 1996 ) 【c2】 约格·登津格 , 斯蒂芬·舒尔茨 :
学习领域知识以改进定理证明。 CADE公司 1996 : 62-76 1994 【c1】 约格·登津格 , 斯蒂芬·舒尔茨 :
记录、分析和呈现分布式演绎过程。 PASCO公司 1994 : 114-123