退出
我的积分:
中文文献批量获取
外文文献批量获取
杨晗;
西南交通大学;
求解; SAT问题; 分支策略;
机译:IC3中的SAT求解器管理策略:一种实验方法
机译:利用头脑风暴策略在科威特男生发展中的创造性问题求解技巧的影响:科威特市沙特·哈吉学校的田野研究
机译:基于SAT的约束求解证明KRK CHESS棋局策略的准确性。
机译:答案集求解器和SAT求解器共享策略的研究
机译:关键字记忆策略:高中英语中的SAT词汇研究。
机译:求解全局功能优化问题的基于岛模型多种群策略的改进蝙蝠算法
机译:研究问题构建和证据搜索的PICO策略研究问题构建和证据搜索的PICO策略研究问题构建和证据搜索的PICO策略
机译:自适应问题求解的假设生成策略
机译:在应用中结合广度优先搜索策略和深度优先搜索策略的系统和方法,用于具有大编码尺寸的图形搜索问题
机译:策略控制体系结构,策略独立,策略用户和业务策略控制器,在第一源网络上启动服务并在第二网络上启动该服务的用户终端上的方法,以及独立身份提供者上的方法,用户策略控制器,业务策略控制器,服务策略控制器和网络策略控制器
机译:结合应用感知分支的基于DPLL的SAT求解器
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。