![](/img/cover-not-exists.png)
CUD@SAT: SAT solving on GPUs
Dal Palù, Alessandro, Dovier, Agostino, Formisano, Andrea, Pontelli, EnricoVolume:
27
Language:
english
Journal:
Journal of Experimental & Theoretical Artificial Intelligence
DOI:
10.1080/0952813X.2014.954274
Date:
May, 2015
File:
PDF, 705 KB
english, 2015