Warning: strtotime(): It is not safe to rely on the system's timezone settings. You are *required* to use the date.timezone setting or the date_default_timezone_set() function. In case you used any of those methods and you are still getting this warning, you most likely misspelled the timezone identifier. We selected the timezone 'UTC' for now, but please set date.timezone to select your timezone. in /var/www/html/www_publications/index.php on line 342

Warning: Cannot modify header information - headers already sent by (output started at /var/www/html/www_publications/index.php:342) in /var/www/html/www_publications/index.php on line 4076
Solving SAT by Symport/Antiport P Systems with Membrane Division (bibtex)
Solving SAT by Symport/Antiport P Systems with Membrane Division (bibtex)
by Alhazov, Artiom
Abstract:
We present an O(n) + O(log m)-time solution of SAT with n variables and m clauses by a uniform family of deterministic P systems with communication rules (antiport-2/1 and antiport-1/2) and membrane division rules (without polarization) and unstructured environment. Nothing is sent to the environment except yes or no, in one copy. We can even start with the empty environment if we also use symport-1 rules.
Reference:
Solving SAT by Symport/Antiport P Systems with Membrane Division (Alhazov, Artiom), In Cellular Computing (Complexity Aspects), ESF PESC Exploratory Workshop (M.A. Gutierrez-Naranjo, Gh. Paun, M.J. Perez-Jimenez, ed.), Fenix Editora, Sevilla, 2005.
Bibtex Entry:
@InProceedings{inp121,
  author    = {Alhazov, Artiom},
  title     = {Solving SAT by Symport/Antiport P Systems with Membrane Division},
  booktitle = {Cellular Computing (Complexity Aspects), ESF PESC Exploratory Workshop},
  year      = {2005},
  editor    = {M.A. Gutierrez-Naranjo, Gh. Paun, M.J. Perez-Jimenez},
  pages     = {1-6},
  publisher = {Fenix Editora, Sevilla},
  abstract  = {We present an O(n) + O(log m)-time solution of SAT with n variables and m clauses by a uniform family of deterministic P systems with communication rules (antiport-2/1 and antiport-1/2) and membrane division rules (without polarization) and unstructured environment. Nothing is sent to the environment except yes or no, in one copy. We can even start with the empty environment if we also use symport-1 rules.},
  keywords  = {Satisfiability problem, Uniform solution, P system, Antiport, Membrane division, Determinism},
  pdf       = {pdfs/A2005a.pdf},
}
Powered by bibtexbrowser