sat core
坐在核心
以上为机器翻译结果，长、整句建议使用 人工翻译 。
Satisfiability (SAT) problem has been the core problem of research on computational theory.
可满足性问题(SAT)是当代理论计算机科学的核心问题。
youdao
应用推荐
模块上移
模块下移
不移动