We consider the supercooled Stefan problem with a general anisotropic curvature-and velocity-dependent boundary c<;mdition on the moving interface. This is a well-known model for pattern formation in unstable solidification.We reformulate the problem in terms of a quasilinear history-dependent singular integral equation for the velocity of the boundary. Using this equation, we carry out a new linear stability analysis of a planar solidification front with a general boundary condition. This analysis disagrees with the classical linear stability theory, because our approach includes transient effects due to initial conditions and linearizes the boundary conditions more accurately. Our analysis exhibits the smoothing role of velocity-dependence and the destabilizing effect of anisotropy.We then present numerical methods, also based on the integral equation formulation. These methods are able to follow the evolution of a periodic solidification front far into the nonlinear regime, with 0 (M) accuracy, where M is the time step. Previous work has been limited to short times and achieved slightly less than 0 (M 112 ) accuracy. Our methods also include a new algorithm for moving curves with curvature-dependent velocity.We present numerical results obtained with these new methods. After demonstrating first-order convergence for short time spans, we compare accurate numerical results with the predictions of the new and classical linear stability theories. Our results agree very well with the new theory, and disagree with the classical theory by as much as 25%. Then we study the long-time evolution of a dendritic front. We confirm the smoothing effect of velocity-dependence numerically. Our computations exhibit the beginnings of a sidebranching instability, followed by formation of a periodic cellular front, with an anisotropic boundary condition. Tip-splitting occurs instead, in the isotropic case .