Fichte, J., Hecher, M., & Zisser, M. (2019). An Improved GPU-Based SAT Model Counter. In T. Schiex & S. de Givry (Eds.), Principles and Practice of Constraint Programming: 25th International Conference, CP 2019 (pp. 491–509). Springer. https://doi.org/10.1007/978-3-030-30048-7_29