We study the solid-liquid transition of a model of pancake vortices in
laminar superconductors using a density functional theory of freezing. The
physical properties of the system along the melting line are discussed in
detail. We show that there is a very good agreement with experimental data in
the shape and position of the first order transition in the phase diagram and
in the magnitude and temperature dependence of the magnetic induction jump at
the transition. We analyze the validity of the Lindemann melting criterion and
the Hansen-Verlet freezing criterion. Both criteria are shown to be good to
predict the phase diagram in the region where a first order phase transition is
experimentally observed.Comment: 9 pages, 10 figure