QUBO Formulations for Arithmetic Progression Graph Labeling Problems. - CALUDE, CRISTIAN S.; DINNEEN, MICHAEL J.; YITONG LIU (International Journal of Unconventional Computing, 2025)