University of Toronto (Canada);
机译:单变量非线性函数的分段线性界限,并产生混合整数基于线性编程的解决方案方法
机译:一类具有高非线性度的布尔函数的二阶非线性度的下界
机译:一类具有高非线性度的布尔函数的二阶非线性度的下界
机译:一种用于计算静态优先级调度的响应时间限制的多项式算法,采用多线性工作量界限
机译:用于映射类组的线性有界共轭子属性。
机译:计算一般线性单变量模型的功效和样本大小的置信界
机译:有界线性逻辑:多项式时间可计算性的模块化方法