A new result in our investigation of exploiting CUDA parallelism for constraint programming.
Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli Constraint propagation on GPU: A case study for the AllDifferent constraint Journal of Logic and Computation, 2023, 33(8), pp. 1804–1831, exad033.