Login / Signup
Simulating a P system based efficient solution to SAT by using GPUs.
José M. Cecilia
José M. García
Ginés D. Guerrero
Miguel A. Martínez-del-Amor
Ignacio Pérez-Hurtado
Mario J. Pérez-Jiménez
Published in:
J. Log. Algebraic Methods Program. (2010)
Keyphrases
</>
search algorithm
data sets
database
general purpose
mathematical model
cost effective
computational power
linear equations