电脑体验，效果更佳

黄拙图谱-计算机领域：

相关人员

张健 季晓慧

研究领域

优化技术 混合整数规划 混合约束问题 一阶逻辑 约束求解 可满足性问题 命题逻辑

所属机构

中国科学院研究生院 中国科学院研究生院北京 中国科学院软件研究所计算机科学实验室 中国科学院软件研究所计算机科学重点实验室

标签云