Parallel Model Counting with CUDA: Algorithm Engineering for Efficient Hardware Utilization