We found the following 7 published projects which all share the keyword solver amongst their description of software or software methods used.

Title
Internal solitary waves of mode-2: theory, models and experiments
Efficient Robustness Analysis of Deep Neural Networks
Large-Scale Energy-System Optimization Benchmarking
Leveraging exact floating-point Linear Programming solvers for Satisfiability Modulo Theories
MEC3098 Mechanical Projects
MEC8099 Mechanical Stage 4 Group Project (Baker Hughes)
Turbulent combustion