Scalable parallel numerical constraint solver using global load balancing

Daisuke Ishii, Kazuki Yoshizoe, Toyotaro Suzumura. Scalable parallel numerical constraint solver using global load balancing. In Olivier Tardieu, José Nelson Amaral, editors, Proceedings of the ACM SIGPLAN Workshop on X10, Portland, OR, USA, June 15 - 17, 2015. pages 33-38, ACM, 2015. [doi]

Abstract

Abstract is missing.