Proof Complexity; Polynomial Calculus; Sum-of-Squares; Sherali-Adams;
机译:多项式微积分,Sherali-Adams和Sum-of-Squares证明之间的关系
机译:多项式微积分,Sherali-Adams和Sum-of-Squares证明之间的关系
机译:关于多项式微积分分辨率的证明复杂性
机译:多项式微积分,索尼亚 - 亚当派和方块证明之间的关系
机译:多项式证明系统,有效导数及其在平方和层次结构中的应用。
机译:多项式平方和求流体流动非线性稳定性的方法:一个应用实例
机译:计算模型中具有概率多项式微积分的拒绝认证协议的计算上的声音证明