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

ISSN: 1573-0484 0920-8542

Argitalpen urtea: 2014

Alea: 69

Zenbakia: 1

Orrialdeak: 248-272

Mota: Artikulua

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