高健(1983-),男,辽宁沈阳人,博士,副教授,CCF专业会员,主要研究领域为约束程序设计,自动推理;陈荣(1969-),男,博士,教授,博士生导师,CCF高级会员,主要研究领域为软件诊断,群体智能,优化调度;李辉(1983-),男,博士,副教授,主要研究领域为众包软件,复杂网络.
陈荣,E-mail:rchen@dlmu.edu.cn
TP181
国家自然科学基金(61402070,61672122,61602077)
National Natural Science Foundation of China (61402070, 61672122, 61602077)
高健,陈荣,李辉.一种量词约束满足问题的混合易解子类.软件学报,2019,30(12):3590-3604
复制