CNF-satisfiability; Davis-Putnam-Logemann-Loveland procedure; general purpose GPU computing; parallel SAT-solving; Software; Artificial Intelligence; Theoretical Computer Science

The parallel computing power offered by graphic processing units (GPUs) has been recently exploited to support general purpose applications - by exploiting the availability of general API and the single-instruction multiple-thread-style parallelism …