量化逻辑--Beyersdorff, - Frege Systems for Quantified Boolean Logic

是 否 +2 论坛币

k人 参与回答

经管之家送您一份

应届毕业生专属福利!

求职就业群

赵安豆老师微信：zhaoandou666

经管之家联合CDA

送您一个全额奖学金名额~ !

立即领取

感谢您参与论坛问题回答

经管之家送您两个论坛币！

+2 论坛币

Frege Systems for Quantified Boolean Logic
OLAF BEYERSDORFF, University of Jena
ILARIO BONACINA, UPC Barcelona                                                 9
LEROY CHEW, University of Leeds
JAN PICH, University of Oxford
We define and investigate Frege systems for quantified Boolean formulas (QBF). For these new proof systems,
we develop a lower bound technique that directly lifts circuit lower bounds for a circuit class C to the QBF
Frege system operating with lines from C . Such a direct tr ...

扫码加我 拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

分享0 收藏0 回帖

关键词：Systems BOOLEAN System Beyers Logic