Login / Signup

Time-free solution to SAT problem using P systems with active membranes.

Tao SongLuis F. Macías-RamosLinqiang PanMario J. Pérez-Jiménez
Published in: Theor. Comput. Sci. (2014)
Keyphrases
  • sat problem
  • genetic algorithm
  • satisfiability problem
  • phase transition
  • randomly generated