Michele Collevati, Agostino Dovier, Andrea Formisano 0001. GPU parallelism for SAT solving heuristics. In Roberta Calegari, Giovanni Ciatto, Andrea Omicini, editors, Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022. Volume 3204 of CEUR Workshop Proceedings, pages 17-31, CEUR-WS.org, 2022. [doi]
Abstract is missing.