Six vertex model, domain wall boundary conditions, integrable models, Bethe Ansatz, quantum inverse scattering