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

Johannes Klaus Fichte, Markus Hecher, Valentin Roland

Browse the full CP paper archive.