Parallel hybrid SAT solving using OpenCL