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

Fichte, Johannes Klaus; Hecher, Markus; Roland, Valentin

doi:10.4230/LIPIcs.CP.2021.24

by Johannes Klaus Fichte, Markus Hecher, Valentin Roland

Reference:

Parallel Model Counting with CUDA: Algorithm Engineering for Efficient Hardware UtilizationJohannes Klaus Fichte, Markus Hecher, Valentin Roland27th International Conference on Principles and Practice of Constraint Programming, CP 2021, Montpellier, France (Virtual Conference), October 25-29, 2021 (Laurent D. Michel, ed.), volume 210 of LIPIcs, pages 24:1–24:20, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

Bibtex Entry:

@string{lipics="LIPIcs"}
@inproceedings{FichteHR21,
keywords = "reveal",
  author    = {Johannes Klaus Fichte and
               Markus Hecher and
               Valentin Roland},
  title     = {Parallel Model Counting with {CUDA:} Algorithm Engineering for Efficient
               Hardware Utilization},
  booktitle = {27th International Conference on Principles and Practice of Constraint
               Programming, {CP} 2021, Montpellier, France (Virtual Conference),
               October 25-29, 2021},
  pages     = {24:1--24:20},
  year      = {2021},
  crossref  = {DBLP:conf/cp/2021},
  url       = {10.4230/LIPIcs.CP.2021.24">https://doi.org/10.4230/LIPIcs.CP.2021.24},
  doi       = {10.4230/LIPIcs.CP.2021.24},
  timestamp = {Wed, 03 Nov 2021 08:28:41 +0100},
  biburl    = {https://dblp.org/rec/conf/cp/FichteHR21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
	 editor    = {Laurent D. Michel},
  booktitle     = {27th International Conference on Principles and Practice of Constraint
               Programming, {CP} 2021, Montpellier, France (Virtual Conference),
               October 25-29, 2021},
  series    = {LIPIcs},
  volume    = {210},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
}