P. Talbot, “A GPU-based Constraint Programming Solver”, AAAI, vol. 40, no. 17, pp. 14331–14341, Mar. 2026.