And as a person working in tech for the past 10 years, I had never heard of Boolean Satisfiability let alone SAT until I read through the comments on the post and the linked Wiki page. I would suggest that this topic is not as universal as you think it is.