Stack Exchange network consists of 178 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
SAT stands for the Boolean satisfiability problem.
The tag sat refers to SAT, the Boolean satisfiability problem.
10 years, 11 months ago
by Evgenij Thorstensen
10 years, 8 months ago