Are there some interesting examples of real world applications of this stuff? Is it like planning problems or supply chain optimization etc.?

I've used SAT solvers recreationally to try solve some mathematical combinatoricsish-like problems but interesting more down-to-earth applications have eluded me. I would love to dig deeper into this stuff.