国家自然科学基金(61272208,61133011,61402196,61003101,61170092);国家教育部博士点专项基金(20100061110031);中国博士后科学基金(2013M541302);吉林省科技发展计划(20101501,20140520067JH)
National Natural Science Foundation of China (61272208, 61133011, 61402196, 61003101, 61170092); Doctoral Fund of Ministry of Education of China (20100061110031); China Postdoctoral Science Foundation (2013M541302); Jilin Province Science and Technology Development Plan (20101501, 20140520067JH)
贾凤雨,欧阳丹彤,张立明,刘思光.结合扩展规则重构的#SAT问题增量求解方法.软件学报,2015,26(12):3117-3129
复制