Accelerating Domain Propagation: An Efficient GPU-Parallel Algorithm over Sparse Matrices.

Boro Sofranac, Ambros M. Gleixner, Sebastian Pokutta

Browse the full SC paper archive.