王强(1994-),男,山西临汾人,硕士,主要研究领域为人工智能,智能规划与自动推理;吕帅(1981-),男,博士,副教授,CCF高级会员,主要研究领域为人工智能,智能规划与自动推理;刘磊(1960-),男,教授,博士生导师,CCF专业会员,主要研究领域为软件理论与技术.
吕帅,E-mail:lus@jlu.edu.cn
国家自然科学基金(61300049,61402195,61502197,61503044);教育部高等学校博士学科点专项科研基金(201200 61120059);吉林省自然科学基金(20180101053JC);吉林省青年科研基金(20140520069JH,20150520058JH)
National Natural Science Foundation of China (61300049, 61402195, 61502197, 61503044); Specialized Research Fund for the Doctoral Program of Higher Education of China (20120061120059); Natural Science Research Foundation of Jilin Province (20180101053JC); Natural Science Research Foundation of Jilin Province for Young Scholars (20140520069JH, 20150520058JH)
王强,刘磊,吕帅.基于扩展规则的启发式#SAT求解算法.软件学报,2018,29(11):3517-3527
复制