Institute of Computing Technology, Chinese Academy IR
分面浏览：作者 |
| 当前检索式 | ((ALL：maximum satisfiability)) |
| 限定条件 | ((资助项目：Open Project Program of the State Key Laboratory of Mathematical Engineering and Advanced Computing[2016A06])) |
| Cai, Shaowei 3 | Luo, Chuan 3 | Su, Kaile 2 |
| Chu, Yi 1 | Huang, Wenxuan 1 | Lin, Jinkun 1 |
| You, Haihang 1 |
