退出
我的积分:
中文文献批量获取
外文文献批量获取
杨晋吉; 苏开乐;
中山大学信息科学与技术学院计算机科学系,广州,510275;
华南师范大学计算机科学系,广州,5106313;
河南科技大学电子信息工程学院,洛阳,471003;
SAT问题; 局部搜索; 概率;
机译:一种改进的3-SAT确定性局部搜索算法
机译:使用nVidia CUDA框架将遗传算法与局部搜索相结合以解决MAX-SAT问题
机译:Sat和Max Sat的k翻转局部搜索的参数化复杂度
机译:具有复杂局部问题的分布式SAT的局部搜索
机译:SAT局部搜索算法的搜索空间结构。
机译:集群解决旅行商问题的方法和改进的多次重启迭代局部搜索元启发式方法
机译:一种改进的3-SAT局部搜索算法
机译:线路 - 回程问题的简单方法:车辆路径问题的引导局部搜索方法
机译:利用系统局部搜索进行SAT求解的方法和机制
机译:不良聚类搜索方法,不良聚类搜索设备,存储不良聚类搜索程序的记录介质,缓解电路优化方法,过程管理方法,洁净室管理方法,半导体器件的制造方法,问题处理的提取方法和发行设备,问题处理和记录介质,其存储用于提取问题设备的程序,问题处理和设备用于提取问题设备,以及搜索母体废料的方法
机译:交互式搜索机,用于查找已定义问题的解决方案,选择与问题相关的关键字,并在数据库中搜索与这些单词相关的问题
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。