Leveraging GPUs for effective clause sharing in parallel SAT solving
scientific article; zbMATH DE number 7495592
scientific article