@misc{indiciaefbcc4e529ded,
  title = {Scalable Parallel Numerical Constraint Solver Using Global Load Balancing},
  author = {Daisuke Ishii and Kazuki Yoshizoe and Toyotaro Suzumura},
  year = {2015},
  doi = {10.1145/2771774.2771776},
  url = {https://arxiv.org/abs/1505.04542},
  note = {Source identifier: 1505.04542}
}