Alan M. Frieze Johan Håstad Ravi Kannan J. C. Lagarias Adi Shamir Reconstructing Truncated Integer Variables Satisfying Linear Congruences. 262-280 1988 17 SIAM J. Comput. 2 db/journals/siamcomp/siamcomp17.html#FriezeHKLS88 http://dx.doi.org/10.1137/0217016