退出
我的积分:
中文文献批量获取
外文文献批量获取
李健; 郑荣基; 汤宇锋; 袁立然; 陈寅;
华南师范大学 计算机学院 广州 510631;
可满足性模理论; 情景演算; 非完全信息博弈; Z3;
机译:基于SMT的约束答案集求解器EZSMT(系统描述)
机译:不完全信息古诺游戏中基于模型和基于学习的决策:一种状态估计方法
机译:一种新颖的基于深度残差网络的四人麻将游戏不完全信息竞争策略
机译:Machsmt:用于SMT求解器的基于机器学习算法选择器
机译:下个月将提供使用神经网络虚拟自玩的不完全信息游戏均衡解决方案的计算使用统计信息
机译:Zn2 +诱导表达平台的Syechococcus sp。基于smtA启动子/运算符和smtB阻遏物的PCC 7002株
机译:基于smT的约束应答集求解器EZsmT(系统描述)
机译:非线性随机优化求解程序和不完全信息
机译:SMT求解器的基于匹配的模式推断
机译:基于匹配的模式推理用于SMT求解器
机译:基于约束的求解方法,基于约束的求解器和基于约束的求解系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。