Evaluating the SAT problem on P systems for different high-performance architectures
Cecilia, José M., García, José M., Guerrero, Ginés D., Ujaldón, ManuelVolume:
69
Language:
english
Journal:
The Journal of Supercomputing
DOI:
10.1007/s11227-014-1150-9
Date:
July, 2014
File:
PDF, 1.53 MB
english, 2014