Sign in

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

José M. CeciliaJosé M. GarcíaGinés D. GuerreroManuel Ujaldon
Published in: J. Supercomput. (2014)
Keyphrases
  • sat problem
  • sat solvers
  • data structure
  • logic programs
  • np complete
  • cellular automata
  • phase transition
  • satisfiability problem
  • max sat