退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:一致的计划作为增量QBF解决方案的案例研究
Uwe Egly; Martin Kronegger; Florian Lonsing; Andreas Pfandler;
机译:CPCES:通过一个强调引导改进来解决符合规划问题的规划框架
机译:QBFRelay,QRATPre +和DepQBF:增量预处理满足基于搜索的QBF解决方案
机译:符合规划作为增量QBF解决方案的案例研究
机译:增量规划在社区发展中的作用:北端住房项目(曼尼托巴)的案例研究。
机译:视觉损失问题解决培训中的问题解决和未来计划的翻译研究
机译:符合规划作为增量QBF求解的案例研究?
机译:增量计划以控制基于黑板的问题解决者
机译:使用适当的软件以计算机化方式解决计划问题,以执行计划周期,从而在一系列计划会议和计划周期中制定计划解决计划
机译:出版研究中央组织,以解决居民联系的各种问题,并采用标准方法来解决研究结果所产生的问题,并通过研究获得解决方案,并促进居民的利用
机译:量化布尔公式(QBF)求解器
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。