A CUDA C Program Generator for Verifying Logical Operators
We develop a tool, named L2CU, which automatically generates a CUDA C program for verifying logical opera- tors. The L2CU has been used to generate CUDA C programs for solving SAT. Compared to a sequential implementation on a single CPU, the generated CUDA C programs for solving SAT algorithms run 2296.7 times faster.
- There are currently no refbacks.