TY - RPRT TI - Scalable Parallel Numerical Constraint Solver Using Global Load Balancing AU - Daisuke Ishii AU - Kazuki Yoshizoe AU - Toyotaro Suzumura PY - 2015 DO - 10.1145/2771774.2771776 UR - https://arxiv.org/abs/1505.04542 ID - 1505.04542 ER -