SAT problem is the first NP-complete problem and the nucleus of the category of NP-complete problems.

SAT问题是第一个NP-完全问题，并且是一大类NP-完全问题的核心。

youdao

The satisfiability of conjunction normal form (abbreviate sat problem) is a typical NP-complete problem.

合取范式可满足性问题(简称SAT问题)是一个NP完全问题。

youdao

The satisfiability problem of conjunction normal form (abbreviate sat problem) is an NP_complete problem.

合取范式可满足性问题(简称SAT问题)是一个NP完全问题。

youdao

We just sat down and like, worked through exams and problem sets together

我们就坐在一起讨论考试还有我遇到的难题，

与教授的面谈 - SpeakingMax英语口语达人

Somewhat relieved, the Americans have sat back and left the relocation problem to the Japanese.

ECONOMIST: Too nice to America?

My brother sat me down and told me I had a problem.

FORBES: Inside The Mind Of A Person Who Stalked A Female Co-Worker

He sat in his car for the next 17 minutes while the team tried to get to the bottom of the problem which apparently was a connector that had worked loose and needed re-attaching.

BBC: SPORT | Motorsport | Formula One | Turkish GP qualifying as it happened