All vendors just need 1 engineer in a BigCorp to have used their software to claim "Trusted by BigCorpName"
This is essentially my understanding of the situation. The OR applications are extremely diverse there; they use most wvery solver and technique under the sun for something.