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.
Zeitschrift:
Journal of Supercomputing

ISSN: 1573-0484 0920-8542

Datum der Publikation: 2014

Ausgabe: 69

Nummer: 1

Seiten: 248-272

Art: Artikel

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