Solving SAT with membrane creation

Mon, 12/17/2007 - 11:58 — ana

Title	Solving SAT with membrane creation
Publication Type	Conference Contributions
Year of Publication	2005
Authors	Gutiérrez-Naranjo, M. A., Pérez-Jiménez M. J., & Romero-Campero F. J.
Editors	Barry-Cooper, S., Lowe B., & Torenvliet L.
Conference Name	Computability in Europe 2005 (CiE 2005): New Computational Paradigms
Volume Title	Computability in Europe 2005 (CiE 2005): New Computational Paradigms
Place Published	Amsterdam, Holanda
Pages	82-91.

Attachment	Size
Solving SAT with Membrane Creation pdf.	96.9 KB

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