O. Goldreich, D. Micciancio, S. Safra
Approximating shortest lattice vectors is not harder than approximating closest lattice vectors
Mathematical Programming Embeddings of Logic (1996)
Borkar V. S, Chandru V, Micciancio D, Mitter S. K, Vivek S. Borkar, Vijay Chandru, ...
Serious studies on spatial embeddings of logic were initiated by Robert Jeroslow (cf. [16]) a lit-