...
机译:高度平方和证明,Bienstock-Zuckerberg层次结构和Chvatal-Gomory割
机译:平方和和正态证明的大小程度权衡
机译:平方和证明的紧密大小度界
机译:平方和证明的紧密大小度界
机译:高度平方和证明,Bienstock-Zuckerberg层次结构和CG削减
机译:多项式证明系统,有效导数及其在平方和层次结构中的应用。
机译:关于将平方矩阵分解为任意场上两个平方幂幂矩阵之和的注记
机译:高度总和校样,Bienstock - Zuckerberg层次结构,和Chvátal - 戈梅里剪裁