机译:SAT的局部搜索算法:实证研究。
SAT stochastic search; empirical evaluation; run--time distributions; robustness;
机译:SAT本地搜索算法:最坏情况研究
机译:使用nVidia CUDA框架将遗传算法与局部搜索相结合以解决MAX-SAT问题
机译:一种改进的3-SAT确定性局部搜索算法
机译:SAT的本地搜索算法:实证评估
机译:SAT局部搜索算法的搜索空间结构。
机译:回溯搜索优化算法与其对应算法相比的统计分析和性能评估数据集
机译:MAX-SAT随机局部搜索算法性能背后的搜索空间特征