Scalable parallel numerical constraint solver using global load balancing.

Daisuke Ishii, Kazuki Yoshizoe, Toyotaro Suzumura

Browse the full PLDI paper archive.