Gurobi (maker of a MIP solver) has a bunch of industry case studies as marketing materials on their website:

https://www.gurobi.com/case_studies/

however, it's mixed-integer programming rather than SAT solvers/constraint programming, but similar in spirit.