Leroy Chew公司
人员信息
附属: 奥地利维也纳TU Wien 从属关系(2017年博士): 英国利兹大学
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2024 [j8] Leroy Chew公司 , 弗里德里希·斯利沃夫斯基 :
迈向QBF中的统一认证。 日志。 方法计算。 科学。 20 ( 1 ) ( 2024 ) [第19条] Leroy Chew公司 , 亚历克西斯·德·科尔内 , 弗里德里希·斯利沃夫斯基 , 斯特凡·塞德尔 :
分辨率和CDCL奇偶性随机重排序编码的硬度。 AAAI公司 2024 : 7978-7986 [i26] Leroy Chew公司 , 亚历克西斯·德·科尔内 , 弗里德里希·斯利沃夫斯基 , 斯特凡·塞德尔 :
分辨率和CDCL奇偶性随机重排序编码的硬度。 CoRR公司 abs/2402.00542 ( 2024 ) [i25] 斯拉文西·切德 , Leroy Chew公司 , 阿尼尔·舒克拉 :
电路,证明和命题模型计数。 电子。 计算机学术讨论会。 复杂。 24号机房 : TR24-081型 ( 2024 ) 2023 【i24】 Sravanthi切德 , Leroy Chew公司 , 巴列什·库马尔 , 阿尼尔·舒克拉 :
了解QBF的Nullstellensatz。 电子。 计算机学术讨论会。 复杂。 23号机房 ( 2023 ) [第23条] Leroy Chew公司 :
通过基于圆的QBF策略提取进行验证仿真。 电子。 计算机学术讨论会。 复杂。 23号机房 ( 2023 ) 2022 [第18条] Leroy Chew公司 , Marijn J.H.鞋垫 :
关联QBF的现有强大证明系统。 坐 2022 : 10:1-10:22 [第17条] Leroy Chew公司 , 弗里德里希·斯利沃夫斯基 :
迈向QBF中的统一认证。 STACS公司 2022 : 22:1-22:23 [i22] Leroy Chew公司 , 弗里德里希·斯利沃夫斯基 :
迈向QBF中的统一认证。 CoRR公司 abs/2210.07085 ( 2022 ) 2021 [第16条] Leroy Chew公司 :
QBF证明系统模块NP的硬度和最优性。 坐 2021 : 98-115 [第15条] 刘振军 , Leroy Chew公司 , Marijn J.H.鞋垫 :
使用移位模式避免单色矩形。 SOCS系统 2021 : 225-227 [i21] Leroy Chew公司 , 弗里德里希·斯利沃夫斯基 :
迈向QBF中的统一认证。 电子。 计算机学术讨论会。 复杂。 21号机房 ( 2021 ) 2020 [j7] 奥拉夫·贝耶斯多夫 , 伊拉里奥·博纳西纳 , Leroy Chew公司 , 贾恩·皮奇 :
量化布尔逻辑的Frege系统。 美国临床医学杂志 67 ( 2 ) : 9:1-9:36 ( 2020 ) [第14条] Leroy Chew公司 , 朱迪思·克莱莫 :
QBF扩张如何使战略提取变得困难。 IJCAR(1) 2020 : 66-82 [c13] Leroy Chew公司 , Marijn J.H.鞋垫 :
通过重用变量对奇偶校验编码进行排序。 坐 2020 : 1-10 [i20] 刘振军 , Leroy Chew公司 , Marijn鞋跟 :
使用移位模式避免单色矩形。 CoRR公司 abs/2012.12582 ( 2020 ) [i19] Leroy Chew公司 :
关联QBF的现有强大证明系统。 电子。 计算机学术讨论会。 复杂。 20号机房 ( 2020 )
2010 – 2019
2019 [j6] 奥拉夫·贝耶斯多夫 , 约书亚·布林霍恩 , Leroy Chew公司 , 雷娜特·施密特 , 马丁·苏达 :
重新解释依赖方案:DQBF中的健全性遇到了不完整性。 J.汽车。 原因。 63 ( 三 ) : 597-623 ( 2019 ) [j5] 奥拉夫·贝耶斯多夫 , Leroy Chew公司 , Kartek Sreenivasaiah公司 :
树型Q-分辨率大小的游戏特征。 J.计算。 系统。 科学。 104 : 82-101 ( 2019 ) 【j4】 奥拉夫·贝耶斯多夫 , Leroy Chew公司 , 米科拉斯·加诺塔 :
新的基于分辨率的QBF演算及其证明复杂性。 ACM事务处理。 计算。 理论 11 ( 4 ) : 26:1-26:42 ( 2019 ) [第12条] 奥拉夫·贝耶斯多夫 , Leroy Chew公司 , 朱迪思·克莱莫 , 米娜·马哈詹 :
QBF扩展中的简短证明。 坐 2019 : 19-35 [第11条] Leroy Chew公司 , 朱迪思·克莱莫 :
拒绝QRAT的等效性。 坐 2019 : 100-116 [i18] Leroy Chew公司 , 朱迪思·克莱莫 :
拒绝QRAT的等效性。 电子。 计算机学术讨论会。 复杂。 第19页 ( 2019 ) [i17] Leroy Chew公司 , 朱迪思·克莱莫 :
QBF扩张如何使战略提取变得困难。 电子。 计算机学术讨论会。 复杂。 19号机房 ( 2019 ) 2018 [j3] 奥拉夫·贝耶斯多夫 , Leroy Chew公司 , 米娜·马哈扬 , 阿尼尔·舒克拉 :
了解QBF的切割平面。 Inf.计算。 262 : 141-161 ( 2018 ) [注2] 奥拉夫·贝耶斯多夫 , Leroy Chew公司 , 米娜·马哈扬 , 阿尼尔·舒克拉 :
短校对范围窄吗? QBF解决方案是 不是 太简单了。 ACM事务处理。 计算。 日志。 19 ( 1 ) : 1:1-1:26 ( 2018 ) [i16] 奥拉夫·拜尔斯多夫 , Leroy Chew公司 , 朱迪思·克莱莫 , 米娜·马哈扬 :
QBF扩展中的简短证明。 电子。 计算机学术讨论会。 复杂。 18号机房 ( 2018 ) 【i15】 Leroy Chew公司 :
QBF证明系统模块NP的硬度和最优性。 电子。 计算机学术讨论会。 复杂。 18号机房 ( 2018 ) 2017 【b1】 Leroy Nicholas Chew先生 :
QBF证明复杂性。 英国利兹大学, 2017 [j1] 奥拉夫·贝耶斯多夫 , Leroy Chew公司 , 米娜·马哈扬 , 阿尼尔·舒克拉 :
QBF分辨率演算的可行插值。 日志。 方法计算。 科学。 13 ( 2 ) ( 2017 ) [第14条] 奥拉夫·贝耶斯多夫 , Leroy Chew公司 , 米娜·马哈扬 , 阿尼尔·舒克拉 :
了解QBF的切割平面。 电子。 计算机学术讨论会。 复杂。 17号机房 ( 2017 ) 2016 [第10条] 奥拉夫·贝耶斯多夫 , Leroy Chew公司 , 米可拉斯·贾诺塔 :
QBF分辨率中的扩展变量。 AAAI研讨会:超越NP 2016 【c9】 奥拉夫·贝耶斯多夫 , Leroy Chew公司 , 米娜·马哈扬 , 阿尼尔·舒克拉 :
了解QBF的切割平面。 FSTTCS公司 2016 : 40:1-40:15 【c8】 奥拉夫·贝耶斯多夫 , 伊拉里奥·博纳西纳 , Leroy Chew公司 :
下限:从电路到QBF证明系统。 国际贸易中心 2016 : 249-260 【c7】 奥拉夫·贝耶斯多夫 , Leroy Chew公司 , 雷娜特·施密特 , 马丁·苏达 :
将QBF分辨率计算提升到DQBF。 坐 2016 : 490-499 【c6】 奥拉夫·贝耶斯多夫 , 周乐华 , 米娜·马哈扬 , 阿尼尔·舒克拉 :
短校样窄吗? QBF解决方案并不简单。 堆栈 2016 : 15:1-15:14 [i13] 奥拉夫·贝耶斯多夫 , Leroy Chew公司 , 雷娜特·施密特 , 马丁·苏达 :
将QBF分辨率计算提升到DQBF。 CoRR公司 abs/1604.08058 ( 2016 ) [i12] 奥拉夫·拜尔斯多夫 , Leroy Chew公司 , 米娜·马哈扬 , 阿尼尔·舒克拉 :
QBF分辨率演算的可行插值。 CoRR公司 abs/1611.01328 ( 2016 ) [i11] 奥拉夫·贝耶斯多夫 , Leroy Chew公司 , 米可拉斯·贾诺塔 :
QBF分辨率中的扩展变量。 电子。 计算机学术讨论会。 复杂。 16号机房 ( 2016 ) [i10] 奥拉夫·贝耶斯多夫 , Leroy Chew公司 , 雷娜特·施密特 , 马丁·苏达 :
将QBF分辨率计算提升到DQBF。 电子。 计算机学术讨论会。 复杂。 16号机房 ( 2016 ) 2015 【c5】 奥拉夫·贝耶斯多夫 , Leroy Chew公司 , 米娜·马哈扬 , 阿尼尔·舒克拉 :
QBF分辨率演算的可行插值。 ICALP(一) 2015 : 180-192 【c4】 奥拉夫·贝耶斯多夫 , Leroy Chew公司 , Kartek Sreenivasaiah公司 :
树型Q分辨率大小的游戏特征。 拉丁美洲旅游协会 2015 : 486-498 【c3】 奥拉夫·贝耶斯多夫 , Leroy Chew公司 , 米科拉斯·加诺塔 :
基于分辨率的QBF演算的证明复杂性。 STACS公司 2015 : 76-89 [第九章] 奥拉夫·贝耶斯多夫 , 伊拉里奥·博纳西纳 , Leroy Chew公司 :
下限:从电路到QBF证明系统。 电子。 计算机学术讨论会。 复杂。 第15页 ( 2015 ) [i8] 奥拉夫·贝耶斯多夫 , 周乐华 , 米娜·马哈扬 , 阿尼尔·舒克拉 :
QBF分辨率演算的可行插值。 电子。 计算机学术讨论会。 复杂。 第15页 ( 2015 ) [i7] 奥拉夫·贝耶斯多夫 , Leroy Chew公司 , 米娜·马哈詹 , 阿尼尔·舒克拉 :
短校样窄吗? QBF解决方案并不简单。 电子。 计算机学术讨论会。 复杂。 第15页 ( 2015 ) 2014 【c2】 奥拉夫·贝耶斯多夫 , Leroy Chew公司 :
包络和最小蕴涵定理证明的复杂性。 国际JCAR 2014 : 403-417 【c1】 奥拉夫·贝耶斯多夫 , Leroy Chew公司 , 米可拉斯·贾诺塔 :
论基于QBF分辨率的微积分的统一。 MFCS(2) 2014 : 81-93 [i6] 奥拉夫·贝耶斯多夫 , Leroy Chew公司 :
表au与最小蕴涵的序贯演算。 CoRR公司 abs/1405.1565 ( 2014 ) [i5] 奥拉夫·拜尔斯多夫 , Leroy Chew公司 :
包络和最小蕴涵定理证明的复杂性。 电子。 计算机学术讨论会。 复杂。 14号机房 ( 2014 ) [i4] 奥拉夫·贝耶斯多夫 , 周乐华 :
表au与最小蕴涵的序贯演算。 电子。 计算机学术讨论会。 复杂。 14号机房 ( 2014 ) [i3] 奥拉夫·贝耶斯多夫 , Leroy Chew公司 , 米可拉斯·贾诺塔 :
基于分辨率的QBF演算的证明复杂性。 电子。 计算机学术讨论会。 复杂。 14号机房 ( 2014 ) [i2] 奥拉夫·贝耶斯多夫 , Leroy Chew公司 , Kartek Sreenivasaiah公司 :
树状Q分辨率大小的游戏特征。 电子。 计算机学术讨论会。 复杂。 14号机房 ( 2014 ) [i1] 米可拉斯·贾诺塔 , Leroy Chew公司 , 奥拉夫·贝耶斯多夫 :
论基于QBF分辨率的微积分的统一。 电子。 计算机学术讨论会。 复杂。 14号机房 ( 2014 )
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)