约书亚·布林霍恩
人员信息
优化列表
2020年–今天
2023 [j7] 奥拉夫·贝耶斯多夫 , 约书亚·布林霍恩 , 米娜·马哈扬 , 托马斯·佩特尔 :
QBF分辨率的硬度特征和尺寸宽度下限。 ACM事务处理。 计算。 日志。 24 ( 2 ) : 10:1-10:30 ( 2023 ) 2021 [j6] 奥拉夫·贝耶斯多夫 , 约书亚·布林霍恩 :
QBF硬度的简单证明。 信息处理。 莱特。 168 : 106093 ( 2021 ) [j5] 奥拉夫·贝耶斯多夫 , 约书亚·布林霍恩 , 米娜·马哈扬 :
将策略构建到QBF证明中。 J.自动化。 原因。 65 ( 1 ) : 125-154 ( 2021 ) [第12条] 约书亚·布林霍恩 , 托马斯·佩特尔 , 弗里德里希·斯利沃夫斯基 :
Davis和Putnam会见Henkin:用决心解决DQBF。 坐 2021 : 30-46 [i12] 奥拉夫·贝耶斯多夫 , 约书亚·布林霍恩 , 托马斯·佩特尔 :
通过无含意解析路径的强(D)QBF依赖方案。 电子。 计算机学术讨论会。 复杂。 21号机房 ( 2021 ) 2020 【j4】 奥拉夫·贝耶斯多夫 , 约书亚·布林霍恩 :
QBF展开的下界技术。 理论计算。 系统。 64 ( 三 ) : 400-421 ( 2020 ) [j3] 奥拉夫·贝耶斯多夫 , 约书亚·布林霍恩 :
缩减和扩展中的动态QBF相关性。 ACM事务处理。 计算。 日志。 21 ( 2 ) : 8:1-8:27 ( 2020 ) [第11条] 奥拉夫·贝耶斯多夫 , 约书亚·布林霍恩 , 米娜·马哈扬 , 托马斯·佩特尔 , 高拉夫·索德 :
合并解析的硬QBF。 FSTTCS公司 2020 : 12:1-12:15 [第10条] 奥拉夫·贝耶斯多夫 , 约书亚·布林霍恩 , 米娜·马哈扬 :
QBF分辨率的硬度特征和尺寸宽度下限。 低收入国家 2020 : 209-223 【c9】 奥拉夫·贝耶斯多夫 , 约书亚·布林霍恩 , 托马斯·佩特尔 :
通过重言式自由解析路径的强(D)QBF依赖方案。 坐 2020 : 394-411 [i11] 奥拉夫·贝耶斯多夫 , 约书亚·布林霍恩 , 米娜·马哈扬 , 托马斯·佩特尔 , 高拉夫·索德 :
合并解析的硬QBF。 CoRR公司 abs/2012.06779 ( 2020 ) [i10] 奥拉夫·贝耶斯多夫 , 约书亚·布林霍恩 , 米娜·马哈扬 :
QBF分辨率的硬度特征和尺寸宽度下限。 电子。 计算机学术讨论会。 复杂。 20号机房 ( 2020 ) [第九章] 奥拉夫·贝耶斯多夫 , 约书亚·布林霍恩 , 米娜·马哈扬 , 托马斯·佩特尔 , 高拉夫·索德 :
合并解析的硬QBF。 电子。 计算机学术讨论会。 复杂。 20号机房 ( 2020 ) [i8] 奥拉夫·贝耶斯多夫 , 约书亚·布林霍恩 , 托马斯·佩特尔 :
通过无重言解析路径的强(D)QBF依赖方案。 电子。 计算机学术讨论会。 复杂。 20号机房 ( 2020 ) [i7] 约书亚·布林霍恩 :
用分辨率非对称重言式模拟DQBF预处理技术。 电子。 计算机学术讨论会。 复杂。 20号机房 ( 2020 )
2010 – 2019
2019 【b1】 约书亚·布林霍恩 :
量化布尔公式:证明复杂性和求解模型。 英国利兹大学, 2019 [注2] 奥拉夫·贝耶斯多夫 , 约书亚·布林霍恩 , Leroy Chew公司 , 雷娜特·施密特 , 马丁·苏达 :
重新解释依赖方案:DQBF中的健全性遇到了不完整性。 J.自动化。 原因。 63 ( 三 ) : 597-623 ( 2019 ) [j1] 奥拉夫·贝耶斯多夫 , 约书亚·布林霍恩 , 卢克·辛德 :
大小、成本和容量:硬随机QBF的语义技术。 日志。 方法计算。 科学。 15 ( 1 ) ( 2019 ) 【c8】 约书亚·布林霍恩 , 奥拉夫·贝耶斯多夫 :
QBF对称性重新计算的证明复杂性。 坐 2019 : 36-52 【c7】 奥拉夫·贝耶斯多夫 , 约书亚·布林霍恩 , 米娜·马哈扬 :
将策略构建到QBF证明中。 STACS公司 2019 : 14:1-14:18 [i6] 奥拉夫·贝耶斯多夫 , 约书亚·布林霍恩 :
QBF中对称学习的证明复杂性。 电子。 计算机学术讨论会。 复杂。 19号机房 ( 2019 ) 2018 【c6】 约书亚·布林霍恩 , 奥拉夫·贝耶斯多夫 :
QBF的动态依赖意识。 国际JCAI 2018 : 5224-5228 【c5】 奥拉夫·贝耶斯多夫 , 约书亚·布林霍恩 , 卢克·辛德 :
大小、成本和容量:硬随机QBF的语义技术。 国际贸易中心 2018 : 9:1-9:18 【c4】 奥拉夫·贝耶斯多夫 , 约书亚·布林霍恩 :
QBF扩展的真实下限。 STACS公司 2018 : 12:1-12:15 [i5] 奥拉夫·贝耶斯多夫 , 约书亚·布林霍恩 , 米娜·马哈扬 :
将策略构建到QBF证明中。 电子。 计算机学术讨论会。 复杂。 18号机房 ( 2018 ) 2017 【c3】 约书亚·布林霍恩 , 奥拉夫·贝耶斯多夫 :
用依赖方案缩短QBF证明。 坐 2017 : 263-280 [i4] 奥拉夫·贝耶斯多夫 , 约书亚·布林霍恩 , 卢克·辛德 :
大小、成本和容量:硬随机QBF的语义技术。 CoRR公司 abs/1712.03626 ( 2017 ) [i3] 奥拉夫·贝耶斯多夫 , 约书亚·布林霍恩 :
大权重公式:一种用于真正QBF下界的新技术。 电子。 计算机学术讨论会。 复杂。 17号机房 ( 2017 ) [i2] 奥拉夫·贝耶斯多夫 , 约书亚·布林霍恩 , 卢克·辛德 :
大小、成本和容量:硬随机QBF的语义技术。 电子。 计算机学术讨论会。 复杂。 17号机房 ( 2017 ) 2016 【c2】 奥拉夫·贝耶斯多夫 , 约书亚·布林霍恩 :
QBF演算中的依赖方案:语义和可靠性。 人物配对关系 2016 : 96-112 【c1】 约书亚·布林霍恩 , 奥拉夫·贝耶斯多夫 :
QBF演算中的依赖方案:语义和可靠性。 SAT时QBF 2016 : 41-48 [i1] 奥拉夫·贝耶斯多夫 , 约书亚·布林霍恩 :
QBF演算中的依赖方案:语义和可靠性。 电子。 计算机学术讨论会。 复杂。 16号机房 ( 2016 )