国家自然科学基金(61103169, 61463044); 贵州省科技厅项目((2011)LKZ7038, [2014]7421); 贵州省省长基金((2012)47); 广西可信软件重点实验室研究课题(kx201330); 北京大学高可信软件技术重点实验室开放课题(HCST201302)
YU Quan
Department of Computer Science, Sun Yat-Sen University, Guangzhou 510006, China;Department of Mathematics, Qiannan Normal College for Nationalities, Duyun 558000, China;Guangxi Key Laboratory of Trusted Software (Guilin University of Electronic Technology), Guilin 541004, China余泉,李承乾,申宇铭,王驹.溯因推理问题的碰集求解方法.软件学报,2015,26(8):1937-1945
复制