JIA Feng-Yu
College of Computer Science and Technology, Jilin University, Changchun 130012, China;Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education(Jilin University), Changchun 130012, ChinaOUYANG Dan-Tong
College of Computer Science and Technology, Jilin University, Changchun 130012, China;Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education(Jilin University), Changchun 130012, ChinaZHANG Li-Ming
College of Computer Science and Technology, Jilin University, Changchun 130012, China;Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education(Jilin University), Changchun 130012, ChinaLIU Si-Guang
College of Computer Science and Technology, Jilin University, Changchun 130012, China;Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education(Jilin University), Changchun 130012, ChinaNational 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
Copy