Evaluating the SAT problem on P systems for different high-performance architectures

  1. Cecilia, J.M.
  2. García, J.M.
  3. Guerrero, G.D.
  4. Ujaldón, M.
Journal:
Journal of Supercomputing

ISSN: 1573-0484 0920-8542

Year of publication: 2014

Volume: 69

Issue: 1

Pages: 248-272

Type: Article

DOI: 10.1007/S11227-014-1150-9 GOOGLE SCHOLAR