退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:本地搜索可满足性(saT)问题
Jun Gu; Senior Member;
机译:本地搜索可满足性(SAT)问题
机译:配置格局分析和骨干引导的本地搜索。第一部分:满意度和最大满意度
机译:Sat和Max Sat的k翻转局部搜索的参数化复杂度
机译:使用基于SAT的分支和绑定搜索解决最小成本满足性问题
机译:SAT局部搜索算法的搜索空间结构。
机译:在本地搜索中应用愿望可满足性
机译:适应性满足的本地搜索策略
机译:利用系统局部搜索进行SAT求解的方法和机制
机译:布尔可满足性(SAT)求解器
机译:用于几何和运动学不可知的多智能体规划的布尔可满足性(SAT)降低
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。