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

Tue, 09/23/2014 - 11:18 — mmartinez

Title	Time-free solution to SAT problem using P systems with active membranes
Publication Type	Journal Papers
Year of Publication	2014
Authors	Song, T., Macías-Ramos L. F., Pan L., & Pérez-Jiménez M. J.
Journal Title	Theoretical Computer Science
Publisher	Elsevier
Place Published	Amsterdam (The Netherlands)
Volume	529
Pages	61-68
URL	http://www.sciencedirect.com/science/article/pii/S0304397513008451
Impact Factor	0.516
Ranking	76/102 - Q3
ISSN Number	0304-3975

Featured News:

Mario J. Pérez-Jiménez in the top 2% of scientists of the World
The study by the Stanford University, is an updated version of a previous studies classifying the top 2% of researchers of the World in 2023. Mario J. Pérez-Jiménez, founder of this research group, appears in the list available in the corresponding open database.
November 17, 2023

Agustín became Full Professor
On October 26th, Agustín Riscos-Núñez, the Head of the research group became Full Professor (Catedrático de Universidad) of the Department of Computer Science and Artificial Intelligence of the University of Seville.

October 26, 2023

Science names our most recent research project

Our project Virus Machines: theory and applications has been named in a Science article, where some of the research projects awardee by the Zhejiang Lab with a BioBit grant.
May 26, 2023

Complete list of news

Research Group on Natural Computing

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