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