激励机制是委托一代理理论的核心研究问题。
Incentive mechanism is the core issue of agent-principal theory.
可满足性问题(SAT)是当代理论计算机科学的核心问题。
Satisfiability (SAT) problem has been the core problem of research on computational theory.
可满足性问题(SAT)是当代理论计算机科学的核心问题。
Satisfiability (SAT) problem has been the core problem of research on computational theory.
应用推荐