Massively Parallel Continuous Local Search for Hybrid SAT Solving on GPUs

Re-assign community