SAT stands for the Boolean satisfiability problem.

The tag refers to SAT, the Boolean satisfiability problem.

history | excerpt history