Philippe Codognet: A Constraint Programming Approach for QUBO Solving and Quantum Annealing. Programming 2024