3-SAT

See also: 3SAT

Translingual

From SAT and 3, the number of literals per clause.

3-SAT

(computing theory) The decision problem of deciding whether a given Boolean formula in conjunctive normal form with three literals per clause is satisfiable. A famous NP-complete problem.

单词	3-SAT
释义	3-SAT See also: 3SAT Translingual Alternative forms 3SAT Etymology From SAT and 3, the number of literals per clause. Symbol 3-SAT (computing theory) The decision problem of deciding whether a given Boolean formula in conjunctive normal form with three literals per clause is satisfiable. A famous NP-complete problem. See also SAT
随便看	collineret collineretis collineretur collineris collines colliness collinet collinetis collinetta collinette collinetur Colling colling Collinge Collingham Collings Collingsworth Collingsworth County collingual Collingwood Collingwoodian collini collinimini collinimur collinimus