退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:k翻转SAT和MAX SAT局部搜索的参数化复杂度
Szeider Stefan;
机译:Sat和Max Sat的k翻转局部搜索的参数化复杂度
机译:引导性本地搜索以解决SAT和加权MAX-SAT问题
机译:将模拟退火与当地搜索启发式混合结合MAX-SAT
机译:SAT局部搜索算法的搜索空间结构。
机译:评估猪口蹄疫SAT 1SAT 2和SAT 3血清型的新型灭活疫苗
机译:maX-2-saT和maX-3-saT的半定规划方法:计算视角。
机译:从General Max转变为Max 2SAT
机译:从一般最大SAT到最大2SAT的转换
机译:利用系统局部搜索进行SAT求解的方法和机制
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。