Where does “2-SAT” come from?

2-SAT (Translingual) comes from Translingual SAT.

Ancestry of “2-SAT”, step by step

Step	Language	Word	Meaning
1	Translingual	SAT	—