乌韦·埃格利
人员信息
附属: 奥地利维也纳TU Wien
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2022 [第61条] 亚历山大·曼德尔 , 乌韦·埃格利 :
DLP Shor算法的实现。 GI-Jahrestagung公司 2022 : 1133-1143 2021 [j18] 罗德里克·布隆 , 尼古拉斯·布劳德·桑托尼 , 维达德·哈季奇 , 乌韦·埃格利 , 弗洛里安·朗辛 , 马蒂娜·塞德尔 :
两个SAT解算器,用于求解具有任意数量量词交替的量化布尔公式。 形式方法系统。 设计。 57 ( 2 ) : 157-177 ( 2021 ) 2020 [i19] 奥拉夫·贝耶斯多夫 , 乌韦·埃格利 , 米娜·马哈扬 , 科劳迪亚·纳隆 :
SAT与互动(Dagstuhl研讨会20061)。 达格斯图尔报告 10 ( 2 ) : 1-18 ( 2020 )
2010 – 2019
2019 [c60] 弗洛里安·朗辛 , 乌韦·埃格利 :
QRATPre+:通过强冗余属性进行有效的QBF预处理。 坐 2019 : 203-210 [i18] 弗洛里安·朗辛 , 乌韦·埃格利 :
QRATPre+:通过强冗余属性进行有效的QBF预处理。 CoRR公司 abs/1904.12927 ( 2019 ) 2018 [公元59年] 弗洛里安·朗辛 , 乌韦·埃格利 :
QRAT+:通过更强大的QBF冗余属性推广QRAT。 国际JCAR 2018 : 161-177 [公元58年] 弗洛里安·朗辛 , 乌韦·埃格利 :
评估QBF解算器:量词替代很重要。 人物配对关系 2018 : 276-294 [公元57年] 罗德里克·布隆 , 尼古拉斯·布劳德·桑托尼 , 维达德·哈季奇 , 乌韦·埃格利 , 弗洛里安·朗辛 , 马蒂娜·塞德尔 :
无递归的基于展开的QBF求解。 FMCAD公司 2018 : 1-10 [i17] 弗洛里安·朗辛 , 乌韦·埃格利 :
QRAT+:通过更强大的QBF冗余属性推广QRAT。 CoRR公司 abs/1804.02908 ( 2018 ) [i16] 罗德里克·布隆 , 尼古拉斯·布劳德·桑托尼 , 维达德·哈季奇 , 乌韦·埃格利 , 弗洛里安·朗辛 , 马蒂娜·塞德尔 :
基于扩展的无递归QBF求解。 CoRR公司 abs/1807.08964 ( 2018 ) 2017 [公元17年] 乌韦·埃格利 , 马丁·克罗内格 , 弗洛里安·朗辛 , 安德烈亚斯·普凡德勒 :
一致性规划作为增量QBF求解的案例研究。 安。数学。 Artif公司。 智力。 80 ( 1 ) : 21-45 ( 2017 ) [公元56年] 弗洛里安·朗辛 , 乌韦·埃格利 :
DepQBF 6.0:超越传统QCDCL的基于搜索的QBF求解器。 学员 2017 : 371-384 【i15】 弗洛里安·朗辛 , 乌韦·埃格利 :
评估QBF解算器:量词替代很重要。 CoRR公司 abs/1701.06612 ( 2017 ) [第14条] 弗洛里安·朗辛 , 乌韦·埃格利 :
DepQBF 6.0:超越传统QCDCL的基于搜索的QBF求解器。 CoRR公司 abs/1702.08256 ( 2017 ) 2016 [公元55年] 乌韦·埃格利 :
关于QBFs的强计算。 坐 2016 : 419-434 [公元54年] 弗洛里安·朗辛 , 乌韦·埃格利 , 马蒂娜·塞德尔 :
广义公理的Q分辨率。 坐 2016 : 435-452 [i13] 弗洛里安·朗辛 , 乌韦·埃格利 , 马蒂娜·塞德尔 :
具有广义公理的Q分辨率。 CoRR公司 abs/1604.05994 ( 2016 ) [i12] 罗德里克·布隆 , 乌韦·埃格利 , 帕特里克·克拉姆弗尔 , 罗伯特·科尼霍弗 , 弗洛里安·朗辛 , 马蒂娜·塞德尔 :
基于满意度的安全规范反应合成方法。 CoRR公司 abs/1604.06204 ( 2016 ) [i11] 乌韦·埃格利 :
关于QBFs的强计算。 CoRR公司 abs/1604.06483 ( 2016 ) [i10] 奥拉夫·贝耶斯多夫 , 纳迪娅·克里诺 , 乌韦·埃格利 , 赫里贝特·沃尔默 :
SAT与互动(Dagstuhl研讨会16381)。 达格斯图尔报告 6 ( 9 ) : 74-93 ( 2016 ) 2015 [公元16年] 纳迪娅·克里诺 , 埃尔维·多德 , 乌韦·埃格利 , 拉斐尔·罗西尼奥尔 :
随机(1,2)-QSAT相变的精确位置。 RAIRO提奥。 信息学应用。 49 ( 1 ) : 23-45 ( 2015 ) [c53] 乌韦·埃格利 , 弗洛里安·朗辛 , 约翰内斯·奥茨 :
增量SAT和QBF解算器的自动基准测试。 LPAR公司 2015 : 178-186 [第52条] 弗洛里安·朗辛 , 法希姆·巴克斯 , 阿明·比尔 , 乌韦·埃格利 , 马蒂娜·塞德尔 :
通过动态阻塞子句消除增强基于搜索的QBF求解。 LPAR公司 2015 : 418-433 [第51条] 弗洛里安·朗辛 , 乌韦·埃格利 :
通过子句组求解器API增量计算QBF的最小不满足核。 坐 2015 : 191-198 [第九章] 弗洛里安·朗辛 , 乌韦·埃格利 :
通过子句组求解器API递增计算QBF的最小不满足核心。 CoRR公司 abs/1502.02484 ( 2015 ) [i8] 乌韦·埃格利 , 弗洛里安·朗辛 , 约翰内斯·奥茨 :
增量SAT和QBF解算器的自动基准测试。 CoRR公司 abs/1506.08563 ( 2015 ) 2014 [公元15年] 纳迪娅·克里诺 , 乌韦·埃格利 , 约翰尼斯·史密特 :
基于逻辑的论证的复杂性分类。 ACM事务处理。 计算。 日志。 15 ( 三 ) : 19:1-19:20 ( 2014 ) [公元50年] 乌韦·埃格利 , 马丁·克罗内格 , 弗洛里安·朗辛 , 安德烈亚斯·普凡德勒 :
一致性规划作为增量QBF求解的案例研究。 AISC公司 2014 : 120-131 [公元49年] 弗洛里安·朗辛 , 乌韦·埃格利 :
增量QBF解决。 人物配对关系 2014 : 514-530 [公元48年] 罗德里克·布隆 , 乌韦·埃格利 , 帕特里克·克拉姆弗尔 , 罗伯特·科尼霍弗 , 弗洛里安·朗辛 :
基于SAT的电路综合方法。 FMCAD公司 2014 : 31-34 [c47] 弗洛里安·朗辛 , 乌韦·埃格利 :
DepQBF的增量QBF求解。 信息和通信管理系统 2014 : 307-314 [电子2] 卡斯滕·辛兹 , 乌韦·埃格利 :
可满足性测试理论与应用——2014年SAT第17届国际会议,作为维也纳逻辑夏季的一部分,VSL 2014,奥地利维也纳,2014年7月14-17日。 诉讼程序。 计算机科学课堂讲稿 8561, 施普林格 2014 ,十亿 978-3-319-09283-6 [目录] [i7] 弗洛里安·朗辛 , 乌韦·埃格利 :
增量QBF求解。 CoRR公司 abs/1402.2410 ( 2014 ) [i6] 乌韦·埃格利 , 马丁·克罗内格 , 弗洛里安·朗辛 , 安德烈亚斯·普凡德勒 :
一致性规划作为增量QBF求解的案例研究。 CoRR公司 abs/1405.7253 ( 2014 ) [i5] 罗德里克·布隆 , 乌韦·埃格利 , 帕特里克·克拉姆弗尔 , 罗伯特·科尼霍弗 , 弗洛里安·朗辛 :
基于SAT的电路合成方法。 CoRR公司 abs/1408.2333 ( 2014 ) 2013 [公元46年] 乌韦·埃格利 , 弗洛里安·朗辛 , 马格达莱娜·维德尔 :
长距离分辨率:基于搜索的QBF求解中的证明生成和策略提取。 LPAR公司 2013 : 291-308 [公元45年] 弗洛里安·朗辛 , 乌韦·埃格利 , 阿伦·范·盖尔德 :
通过QBF伪单位传播实现量化布尔公式的高效子句学习。 坐 2013 : 100-115 [i4] 纳迪娅·克里诺 , 乌韦·埃格利 , 约翰尼斯·史密特 :
基于逻辑的论证的复杂性分类。 CoRR公司 abs/1304.5388 ( 2013 ) 2012 [公元44年] 纳迪娅·克里诺 , 乌韦·埃格利 , 约翰尼斯·史密特 :
谢弗框架中基于逻辑的论证的复杂性。 逗号 2012 : 237-248 [公元43年] 乌韦·埃格利 :
顺序系统和QBF解决方案。 坐 2012 : 100-113 [公元42年] 马格达莱娜·维德尔 , 阿明·比尔 , 佩特拉·布罗什 , 乌韦·埃格利 , Marijn鞋跟 , 格蒂·卡佩尔 , 马蒂娜·塞德尔 , 汉斯·托姆皮茨 :
序列图的引导合并。 SLE公司 2012 : 164-183 [公元41年] 佩特拉·布罗什 , 乌韦·埃格利 , 塞巴斯蒂安·加布迈耶 , 格蒂·卡佩尔 , 马蒂娜·塞德尔 , 汉斯·托姆皮茨 , 马格达莱娜·维德尔 , 曼纽尔·威默 :
面向UML图的基于场景的测试。 攻丝@工具 2012 : 149-155 [公元40年] 纳迪亚·克里尼努 , 乌韦·埃格利 , 马蒂娜·塞德尔 :
随机SAT和QSAT公式规范框架。 攻丝@工具 2012 : 163-168 2011 [公元39年] 佩特拉·布罗什 , 乌韦·埃格利 , 塞巴斯蒂安·加布迈耶 , 格蒂·卡佩尔 , 马蒂娜·塞德尔 , 汉斯·托姆皮茨 , 马格达莱娜·维德尔 , 曼纽尔·威默 :
乐观模型版本控制中的语义感知合并支持。 MoDELS(车间) 2011 : 246-256 [i3] 纳迪娅·克里诺 , 埃尔维·多德 , 乌韦·埃格利 :
随机量化XOR公式的相变。 CoRR公司 abs/1110.2739 ( 2011 ) 2010 [公元14年] 乌韦·埃格利 , 莎拉·爱丽丝·加格尔 , 斯特凡·沃尔特兰 :
回答辩论框架的编程编码集。 参数计算。 1 ( 2 ) : 147-177 ( 2010 ) [j13] 乌韦·埃格利 , 利奥波德·哈勒 :
基于Tableau方法的电路SAT求解器。 昆士利希情报。 24 ( 1 ) : 15-23 ( 2010 ) [公元38年] 塔尼娅·维科瓦克 , 亚历山大·雷特勒 , 乌韦·埃格利 , 托马斯·艾特 , 德克·里克·扎普 :
智能测量系统的基于知识的地质风险评估。 IFIP人工智能 2010 : 215-224
2000 – 2009
2009 [公元12年] 乌韦·埃格利 , 马蒂娜·塞德尔 , 斯特凡·沃尔特兰 :
求反范式中QBF的解算器。 制约国际期刊。 14 ( 1 ) : 38-79 ( 2009 ) [公元37年] 纳迪娅·克里诺 , 埃尔维·多德 , 乌韦·埃格利 , 拉斐尔·罗西尼奥尔 :
(1,2)-QSAT:理解相变机制的良好候选者。 坐 2009 : 363-376 [i2] 纳迪娅·克里诺 , 埃尔维·多德 , 乌韦·埃格利 , 拉斐尔·罗西尼诺 :
随机(1,2)-QSAT的阈值。 CoRR公司 abs/0907.0937 ( 2009 ) 2008 [公元11年] 亚历山大·雷特勒 , 乌韦·埃格利 , 托马斯·艾特 , 赫里贝特·卡门 :
用于物体表示/监测的基于知识的视频经纬仪测量系统。 高级工程师软件。 39 ( 10 ) : 821-827 ( 2008 ) [公元36年] 乌韦·埃格利 , 莎拉·爱丽丝·加格尔 , 斯特凡·沃尔特兰 :
ASPARTIX:使用答案集编程实现论证框架。 ICLP公司 2008 : 734-738 [公元35年] 纳迪娅·克里诺 , 埃尔维·多德 , 乌韦·埃格利 , 拉斐尔·罗西尼诺 :
随机量化布尔公式相变的新结果。 坐 2008 : 34-47 2007 [公元10年] 纳迪娅·克里诺 , 埃尔维·多德 , 乌韦·埃格利 :
随机量化XOR公式的相变。 J.阿蒂夫。 智力。 物件。 29 : 1-18 ( 2007 ) 2006 [公元34年] 乌韦·埃格利 , 斯特凡·沃尔特兰 :
在论证框架中使用量化布尔公式进行推理。 逗号 2006 : 133-144 [公元33年] 乌韦·埃格利 , 马蒂娜·塞德尔 , 斯特凡·沃尔特兰 :
非prenex形式QBF的解决方案。 ECAI公司 2006 : 477-481 2005 [公元9年] 乌韦·埃格利 , 莱因哈德·皮克勒 , 斯特凡·沃尔特兰 :
关于决定包容问题。 安。数学。 Artif公司。 智力。 43 ( 1 ) : 255-294 ( 2005 ) 2003 [j8] 乌韦·埃格利 , 汉斯·托姆皮茨 :
正畸学的不同校对策略。 Stud Logica公司 73 ( 1 ) : 131-152 ( 2003 ) [公元32年] 乌韦·埃格利 , 马蒂娜·塞德尔 , 汉斯·托姆皮茨 , 斯特凡·沃尔特兰 , 迈克尔·佐尔达 :
比较量化布尔公式的不同前置策略。 坐 2003 : 214-228 2002 [公元31年] 乌韦·埃格利 :
将松弛逻辑嵌入直觉主义逻辑。 CADE公司 2002 : 78-93 [电子1] 乌韦·埃格利 , 克里斯蒂安·弗缪勒(Christian G.Fermüller) :
《使用分析表和相关方法进行自动推理》,国际会议,Tableaux 2002,丹麦哥本哈根,2002年7月30日至8月1日,会议记录。 计算机科学课堂讲稿 2381, 施普林格 2002 ,十亿 3-540-43929-3 [目录] 2001 [j7] 乌韦·埃格利 :
从Int到S4的不同直觉主义演算和嵌入。 Stud Logica公司 69 ( 2 ) : 249-277 ( 2001 ) [j6] 乌韦·埃格利 , 汉斯·托姆皮茨 :
非单调推理的证明复杂性结果。 ACM事务处理。 计算。 日志。 2 ( 三 ) : 340-387 ( 2001 ) [c30] 乌韦·埃格利 , 托马斯·艾特 , 克尔·克洛茨 , 汉斯·托姆皮茨 , 斯特凡·沃尔特兰 :
用量化布尔公式计算稳定模型:一些实验结果。 答案集编程 2001 [公元29年] 乌韦·埃格利 , 斯蒂芬·施密特 :
从短证明派生模块化程序。 IJCAR公司 2001 : 561-577 [第1页] 马提亚斯·巴兹 , 乌韦·埃格利 , 亚历山大·莱奇 :
范式转换。 自动推理手册 2001 : 273-333 2000 [j5] 乌韦·埃格利 , 托马斯·拉思 :
定义翻译为标准形式的实用变体。 Inf.计算。 162 ( 1-2 ) : 255-264 ( 2000 ) [公元28年] 乌韦·埃格利 , 托马斯·艾特 , 汉斯·托姆皮茨 , 斯特凡·沃尔特兰 :
使用量化布尔公式解决高级推理任务。 AAAI/IAAI公司 2000 : 417-422 [公元27年] 乌韦·埃格利 , 汉斯·托姆皮茨 :
非单调推理的一些优点。 智能与计算逻辑 2000 : 125-141 [公元26年] 乌韦·埃格利 :
从Int到S4的嵌入属性。 TABLEAUX公司 2000 : 205-219 [公元25年] 乌韦·埃格利 , 托马斯·艾特 , 克尔·克洛茨 , 汉斯·托姆皮茨 , 斯特凡·沃尔特兰 :
系统QUIP选言逻辑编程模块的实验评估。 WLP(WLP) 2000 : 113-122 [公元24年] 乌韦·埃格利 , 托马斯·艾特 , 汉斯·托姆皮茨 , 斯特凡·沃尔特兰 :
使用量化布尔公式实现默认推理。 WLP(WLP) 2000 : 223-228 [i1] 乌韦·埃格利 , 托马斯·艾特 , 汉斯·托姆皮茨 , 斯特凡·沃尔特兰 :
QUIP-一个计算非单调推理任务的工具。 CoRR公司 反恐精英。 人工智能/0003037 ( 2000 )
1990 – 1999
1999 【j4】 乌韦·埃格利 , 斯蒂芬·施密特 :
直觉证明变换,其复杂性,以及在构造性程序合成中的应用。 芬丹。 信息学 39 ( 1-2 ) : 59-83 ( 1999 ) 【c23】 乌韦·埃格利 , 迈克尔-芬克 , 阿克塞尔·波利斯 , 汉斯·托姆皮茨 :
用于计算默认逻辑扩展的基于Web的指导工具。 WebNet(网络) 1999 : 1251-1252 1998 [j3] 乌韦·埃格利 :
对厄克特一个公开问题的回答。 西奥。 计算。 科学。 198 ( 1-2 ) : 201-209 ( 1998 ) [公元22年] 乌韦·埃格利 , 斯蒂芬·施密特 :
直觉证明变换及其在构造性程序合成中的应用。 AISC公司 1998 : 132-144 【c21】 乌韦·埃格利 :
量词和系统KE:一些令人惊讶的结果。 CSL公司 1998 : 90-104 [公元20年] 乌韦·埃格利 , 格诺·科勒 :
JQuest:ein javabasiertes Designtool für elektronische Fragebogen in Internet。 网络交互 1998 : 33-43 [第19条] 乌韦·埃格利 , 汉斯·托姆皮茨 :
论界限的证明复杂性。 TABLEAUX公司 1998 : 141-155 [第18条] 乌韦·埃格利 , 斯蒂芬·施密特 :
直觉证明转换:复杂性和应用。 类型理论中的证明搜索 语言@CADE 1998 : 1-12 1997 [注2] 乌韦·埃格利 :
论直觉逻辑向范式的定义转换。 芬丹。 信息学 29 ( 1-2 ) : 165-201 ( 1997 ) [第17条] 乌韦·埃格利 :
LK-LJ翻译的一些陷阱以及如何避免它们。 CADE公司 1997 : 116-130 [第16条] 乌韦·埃格利 , 汉斯·托姆皮茨 :
默认推理中的非初等加速。 ECSQARU-FAPR公司 1997 : 237-251 [第15条] 乌韦·埃格利 , 卡林·金瑟 :
计算机生成的校对结构的剪切介绍。 库尔特·哥德尔座谈会 1997 : 140-152 [c14] 乌韦·埃格利 , 汉斯·托姆皮茨 :
非单调推理总是更难吗? 低密度核磁共振 1997 : 60-75 [第13条] 马提亚斯·巴兹 , 乌韦·埃格利 , 克里斯蒂安·弗缪勒(Christian G.Fermüller) :
Tableaux的精益归纳原则。 TABLEAUX公司 1997 : 62-75 [第12条] 乌韦·埃格利 :
通过经典分析演算的不同变体,证明长度的非元素加速。 TABLEAUX公司 1997 : 158-172 [第11条] 乌韦·埃格利 , 汉斯·托姆皮茨 :
直觉默认逻辑的序贯演算。 WLP(WLP) 1997 1996 [j1] 乌韦·埃格利 :
从不同的保留结构翻译到正常形式。 J.塞姆。 计算。 22 ( 2 ) : 121-142 ( 1996 ) [第10条] 乌韦·埃格利 , 托马斯·拉思 :
论规范形式的不同定义翻译的实用价值。 CADE公司 1996 : 403-417 1995 【c9】 乌韦·埃格利 :
新重言式证明长度的超多项式加速。 计划免疫分析 1995 : 29-40 【c8】 沃尔夫冈·比贝尔 , 斯特凡·布吕宁 , 乌韦·埃格利 , 丹尼尔·科恩 , 托马斯·拉思 :
基于连接法的定理证明中的几个问题。 TABLEAUX公司 1995 : 1-16 1994 【b1】 乌韦·埃格利 :
功能介绍方法及相关概念。 德国达姆施塔特科技大学, 1994 ,第I-XIV页,第1-167页 【c7】 沃尔夫冈·比贝尔 , 斯特凡·布吕宁 , 乌韦·埃格利 , 托马斯·拉思 :
KoMeT公司。 CADE公司 1994 : 783-787 【c6】 乌韦·埃格利 :
论反婚前协议的价值。 LPAR公司 1994 : 69-83 1993 【c5】 乌韦·埃格利 :
功能介绍的不同概念。 库尔特·哥德尔座谈会 1993 : 172-183 【c4】 乌韦·埃格利 :
对称一阶分辨微积分。 LPAR公司 1993 : 110-121 1992 【c3】 乌韦·埃格利 :
鸽子洞公式的简单证明。 ECAI公司 1992 : 70-71 【c2】 乌韦·埃格利 :
通过量词引入缩短证明。 LPAR公司 1992 : 148-159 1991 【c1】 乌韦·埃格利 :
基于Skolem术语引入的广义因子分解规则。 ÖGAI(盖伊) 1991 : 116-125
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)