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

ISSN: 1573-0484 0920-8542

Any de publicació: 2014

Volum: 69

Número: 1

Pàgines: 248-272

Tipus: Article

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