North Carolina State University.;
机译:基于满意度的布尔优化算法
机译:张量(多维数组)中的奇异值分解(SVD)作为优化问题。遗传算法和Nelder-Mead方法的求解
机译:针对本地微码压缩问题的数据依赖图的优化。第2部分:算法和实验验证
机译:使用基于SAT的分支和绑定搜索解决最小成本满足性问题
机译:天然气运输网络问题上的最低成本燃料消耗。
机译:线性规划研究随机可满足性问题的典型算法复杂度的相变
机译:满足性问题的进化算法。
机译:最小成本循环问题的原始网络单纯形算法的有效性。