刘思光(1988-),男,吉林省吉林市人,硕士,主要研究领域为基于模型诊断,极小碰集求解;欧阳丹彤(1968-),女,博士,教授,博士生导师,CCF高级会员,主要研究领域为基于模型诊断;张立明(1980-),男,博士,高级工程师,CCF专业会员,主要研究领域为基于模型诊断,SAT.
张立明,E-mail:limingzhang@jlu.edu.cn
国家自然科学基金(61133011,61402196,61272208,61003101,61170092);中国博士后科学基金(2013M541302);吉林省科技发展计划基金(20140520067JH);浙江师范大学计算机软件与理论省级重中之重学科开放基金(ZSDZZZZXK12)
National Natural Science Foundation of China (61133011, 61402196, 61272208, 61003101, 61170092); ChinaPostdoctoral Science Foundation (2013M541302); Jilin Province Science and Technology Development Plan (20140520067JH);Provincial Key Disciplines Foundation of Computer Software and Theory of Zhejiang Normal University (ZSDZZZZXK12)
刘思光,欧阳丹彤,张立明.极小碰集求解中候选解极小性判定方法.软件学报,2018,29(12):3733-3746
复制