Concurrent Cube-And-Conquer