可满足性问题(SAT)是当代理论计算机科学的核心问题。

Satisfiability (SAT) problem has been the core problem of research on computational theory.

youdao

可满足性问题(SAT)是当代理论计算机科学的核心问题。

Satisfiability (SAT) problem has been the core problem of research on computational theory.

youdao