Abstract
The partition function of a six-vertex model with domain wall boundary conditions is considered on the finite lattice. The authors show that the partition function satisfies a recursive relation. They solve the recursion relation by a determinant formula. This gives a determinant representation for the partition function. They use the Quantum Inverse Scattering Method (QISM).