Institute of Computing Technology, Chinese Academy IR
分面浏览:资助项目 |
当前检索式 | ((ALL:satisfiability)) |
限定条件 | ((收录类别:SCI) AND (作者:Cai, Shaowei) AND (作者:Luo, Chuan) AND (发表日期:2016) AND (语种:英语) AND (资助项目:Open Project Program of the State Key Laboratory of Mathematical Engineering and Advanced Computing[2016A06])) |
ARC[DP150101618] 1 | China National 973 P 1 | National Natural Sci 1 |
National Natural Sci 1 | National Natural Sci 1 | Open Project Program 1 |