Accelerating domain propagation: An efficient GPU-parallel algorithm over sparse matrices

•Currently, domain propagation in state-of-the-art MIP solvers is single thread only.•The paper presents a novel, efficient GPU algorithm to perform d…