Multi-constraint slag design and dephosphorization modeling for 65Mn steel at a high-carbon end point in a single-slag BOF process | Synapse