combinatorial mathematics; theorem proving; computational complexity; bounded-depth Frege lower bounds; weaker pigeonhole principles; quasi-polynomial lower bound; bounded-depth Frege proofs; quasipolynomial-size bounded-depth Frege proofs; switching;
机译:较弱的信鸽原理的边界深度弗雷格下界
机译:较弱的信鸽原理的边界深度弗雷格下界
机译:鸽洞原理的有限深度证明的大小的指数下界
机译:较弱的鸽子原则的有界深度弗赖基下限
机译:平面中有限变形的功能以及Beurling-Ahlfors变换的弱类型常数的下限。
机译:违反鸽孔原理的量子和量子相关性的性质
机译:对于较弱的鸽笼原则,有限的弗雷格下限