退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:用半定规划改进最大割与可满足问题的逼近算法
Michel X. Goemans; David P. Williamson;
机译:改进的半定规划层次四舍五入近似算法,用于最大二等分图问题
机译:通过复杂的半定编程对MAX-3-CUT和其他问题的近似算法
机译:半中等规划松弛的2-Catalog分割问题的一种改进的近似算法
机译:最大图二等分问题的改进半定规划层次四舍五入近似算法
机译:使用光谱和半定编程技术进行图划分的快速近似算法。
机译:线性规划研究随机可满足性问题的典型算法复杂度的相变
机译:复半规划的maX-3-CUT近似算法及其他问题
机译:通过紧密结合结构过逼近算法和结构可满足性求解器来增强验证
机译:通过将结构过逼近算法与结构可满足性求解器紧密耦合来增强验证的方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。