Institute of Computing Technology, Chinese Academy IR
分面浏览：资助项目 |
| 当前检索式 | ((ALL：maximum satisfiability)) |
| 限定条件 | ((收录类别：SCI) AND (作者：Huang, Wenxuan) AND (作者：Su, Kaile) AND (资助项目：Australian Research Council[DP150101618])) |
| 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 |
