Knowledge Processing and Information Systems
An Improved GPU-Based SAT Model Counter

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