当前位置:
X-MOL 学术
›
Inf. Process. Lett.
›
论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
A simple proof of QBF hardness
Information Processing Letters ( IF 0.5 ) Pub Date : 2021-01-09 , DOI: 10.1016/j.ipl.2021.106093 Olaf Beyersdorff , Joshua Blinkhorn
中文翻译:
QBF硬度的简单证明
更新日期:2021-01-14
Information Processing Letters ( IF 0.5 ) Pub Date : 2021-01-09 , DOI: 10.1016/j.ipl.2021.106093 Olaf Beyersdorff , Joshua Blinkhorn
We provide a simple and direct proof of the exponential hardness of the KBKF formulas in the proof system Q-Resolution.
中文翻译:
QBF硬度的简单证明
我们在证明系统Q-Resolution中提供了KBKF公式的指数硬度的简单直接证明。