279 citations · 302 across the 9 of their papers we have counts for
1 paper · 1 filter
Daisuke Ishii, Kazuki Yoshizoe, Toyotaro Suzumura
We present a parallel solver for numerical constraint satisfaction problems (NCSPs) that can scale on a number of cores. Our proposed method runs worker solvers on the available co…