@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} }