Talbot, P. A GPU-Based Constraint Programming Solver. AAAI 2026, 40, 14331-14341.