Discrete Artificial Boundary Conditions for the Korteweg-de Vries Equation