Massively Parallel Continuous Local Search for Hybrid SAT Solving on GPUs

arXiv2308.15020MaRDI QIDQ6449008

Author name not available (Why is that?)

Publication date: 29 August 2023

Has companion code repository: https://github.com/vardigroup/FourierSAT

This page was built for publication: Massively Parallel Continuous Local Search for Hybrid SAT Solving on GPUs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6449008)