Qubo model for the Closest Vector Problem. - Eduardo Canale; Claudio Qureshi; Alfredo Viola (CoRR, 2023)