2-SAT

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

Symbol

 * 1)  The decision problem of deciding whether a given Boolean formula in conjunctive normal form with two literals per clause is satisfiable.