Linear Diophantine Equations over Polynomials and Soft Decoding of Reed-Solomon Codes