Accelerating Domain Propagation: An Efficient GPU-Parallel Algorithm over Sparse Matrices | IEEE Conference Publication | IEEE Xplore