Parallel constraint solving is included into COMET [14] by parallelising the search procedure [15]. Workers work their sub-problem and, when idle, a work stealing mechanism
is used. The generation of work to be stolen is lazy, only occurring at the time of a work request from an idle worker.The sub-problem is placed in a centralised work pool where it can be stolen by the idle worker. Several problems were tested resulting in good speedups but only up to 4 workers.