Describir: Qubo model for the Closest Vector Problem.