Note that this pseudo-code is very nearly valid Julia code (with my package):
@tullio (min) C[i,j] := A[i,k] + B[k,j]