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

Boro Sofranac, Ambros M. Gleixner, Sebastian Pokutta. Accelerating Domain Propagation: An Efficient GPU-Parallel Algorithm over Sparse Matrices. In 10th IEEE/ACM Workshop on Irregular Applications: Architectures and Algorithms, IA3 2020, Atlanta, GA, USA, November 11, 2020. pages 1-11, IEEE, 2020. [doi]

Abstract

Abstract is missing.