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/ https://www.g

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/ https://www.gurobi.com/case_studies/ however, it's mixed-integer programming rather than SAT solvers/constraint programming, but similar in spirit.