Institute of Computing Technology, Chinese Academy IR
分面浏览：资助项目 |
| 当前检索式 | ((ALL：Partial MaxSAT)) |
| 限定条件 | ((作者：Cai, Shaowei) AND (作者：Lin, Jinkun)) |
| ARC[DP150101618] 1 | China National 973 P 1 | National Natural Sci 1 |
| National Natural Sci 1 | National Natural Sci 1 | Open Project Program 1 |
