3-SAT

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

Symbol

 * 1)  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.