Institute of Computing Technology, Chinese Academy IR
分面浏览:资助项目 |
当前检索式 | ((ALL:maximum satisfiability)) |
限定条件 | ((作者:Cai, Shaowei) AND (发表日期:2017) AND (资助项目:National Key Research and Development Program of China[2016YFB0200803]) AND (资助项目:National Natural Science Foundation of China[61472369])) |
Australian Research 1 | National Key Researc 1 | National Key Researc 1 |
National Natural Sci 1 | National Natural Sci 1 | National Natural Sci 1 |
National Natural Sci 1 | Open Project Program 1 |