@misc{indiciaee840ecc00598,
  title = {Accelerating Domain Propagation: an Efficient GPU-Parallel Algorithm over Sparse Matrices},
  author = {Boro Sofranac and Ambros Gleixner and Sebastian Pokutta},
  year = {2021},
  url = {https://arxiv.org/abs/2009.07785},
  note = {Source identifier: 2009.07785}
}