Knowledge Processing and Information Systems
Parallel Model Counting with CUDA: Algorithm Engineering for Efficient Hardware Utilization

@inproceedings{DBLP:conf/cp/FichteHR21,
  title = {Parallel Model Counting with {CUDA:} Algorithm Engineering for Efficient Hardware Utilization},
  author = {Fichte, Johannes Klaus and Hecher, Markus and Roland, Valentin},
  booktitle = {{CP}},
  pages = {24:1--24:20},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  series = {LIPIcs},
  volume = {210},
  year = {2021}
}