Login / Signup

Solving SAT by P Systems with Active Membranes in Linear Time in the Number of Variables.

Zsolt Gazdag
Published in: Int. Conf. on Membrane Computing (2013)
Keyphrases
  • computational complexity
  • computer systems
  • orders of magnitude
  • complex systems
  • neural network
  • retrieval systems
  • max sat
  • boolean satisfiability
  • sat solving