https://hgpu.org/?p=12508
Parallel Variable Pre-Selection and Lookahead Solving on GPUs