机译:精确3满足的上界O(2〜(0.16254n)):一个简单证明
机译:精确的3可满足性在时间O(2〜(0.16254n))中确定
机译:1/2≤θ≤1(θ是ξ的ZEROS实数部分的最小上界的最简单,最快速和自包含的证明
机译:上限,下限和“精确”屈服线设计:结构混凝土在平面应力下
机译:以子句数为参数的精确3可满足性的最坏情况上限
机译:n顶点简单连接图的最小不相交路径/循环覆盖率的上限。
机译:在阻塞瑞利衰落信道上利用双向半双工传感器网络中的直接链接:上界遍历容量和精确的SER分析
机译:一些顽强模式的指数上限的简单证明
机译:由有界系统的简单模型描述的被动平流运输的严格上限