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