External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

GPU parallelism for SAT solving heuristics

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]

Authors

Michele Collevati

This author has not been identified. Look up 'Michele Collevati' in Google

Agostino Dovier

This author has not been identified. It may be one of the following persons: Look up 'Agostino Dovier' in Google

Andrea Formisano 0001

This author has not been identified. Look up 'Andrea Formisano 0001' in Google
runs on