A message from our CEO about the future of Stack Overflow and Stack Exchange. Read now.

SAT stands for the Boolean satisfiability problem.

The tag refers to SAT, the Boolean satisfiability problem.

history | excerpt history