@inproceedings{DBLP:conf/cp/FichteHZ19, author = {Fichte, Johannes Klaus and Hecher, Markus and Zisser, Markus}, title = {An Improved GPU-Based {SAT} Model Counter}, booktitle = {{CP}}, series = {Lecture Notes in Computer Science}, volume = {11802}, pages = {491--509}, publisher = {Springer}, year = {2019} }