En esta sección presentamos nuestra formulación final para el SBTP, basada en la idea de contar el número de barcos que son atendidos simultáneamente en un período de tiempo determinado que supera las dificultades discutidas en la sección anterior, básicamente derivadas del hecho de que las restricciones () agregan la ocupación de servicio de todos los atraques. Por lo tanto, lo que proponemos es redefinir las variables binarias discretizadas , , , de tal manera que se haga explícito el atraque al que se asigna cada barco servido. Es decir, considerese el conjunto de variables de decisión , , , , tal que
Ahora bien, las restricciones que garantizan que como máximo un barco reciba servicio en cada atraque en cada período de tiempo son
Dado que las restricciones () evitan superposiciones de servicios dentro del mismo atraque, ni las variables , y , ni las restricciones ()-(), ()-() son ya necesarios, ya que su función era evitar tales inviabilidades. Por lo tanto, teniendo en cuenta que la relación , para todo , , tenemos la siguiente formulación válida para el SBTP: