Verification of non deterministic transition P systems solving SAT problem

Fri, 01/04/2008 - 14:00 — ana

Title	Verification of non deterministic transition P systems solving SAT problem
Publication Type	Conference Contributions
Year of Publication	2003
Authors	Sancho-Caparrini, F., & Pérez-Jiménez M. J.
Editors	Cavaliere, M., Martín-Vide C., & Paun G.
Conference Name	First Brainstorming Week on Membrane Computing
Volume Title	Proceedings of the First Brainstorming Week on Membrane Computing
Place Published	Tarragona, Spain
Pages	291-304
Date Published	February 5-11

Attachment	Size
Verification of Non Detrministic Transition P systems solving SAT problems.pdf	96.2 KB

Research Group on Natural Computing