杨明奇(1992-),男,山东枣庄人,硕士,CCF学生会员,主要研究领域为约束求解;张家晨(1969-),男,博士,教授,CCF高级会员,主要研究领域为软件维护与演化,软件自动生成方法与技术,自动推理;李占山(1966-),男,博士,教授,博士生导师,CCF专业会员,主要研究领域为约束求解,机器学习,智能规划与调度,基于模型的诊断.
张家晨,E-mail:zhangjc@jlu.edu.cn
TP18
国家自然科学基金(61272208,61373052);吉林省科技计划(20180101043JC)
National Natural Science Foundation of China (61272208, 61373052); Science and Technology Plan of Jilin Province (20180101043JC)
杨明奇,李占山,张家晨.一种基于时间戳的简单表缩减算法.软件学报,2019,30(11):3355-3363
复制