NameOrellana Martín, David
DepartmentCiencias de la Computación e Inteligencia Artificial
Knowledge areaCiencia de la Computación e Inteligencia Artificial
Professional categoryProfesor Ayudante Doctor
E-mailRequest
           
  • No. publications

    67

  • No. visits

    6544

  • No. downloads

    9594


 

PhD Thesis
Icon

Virus machines: an unconventional computing paradigm

Ramírez de Arellano Marrero, Antonio; Orellana Martín, David (2024)
Sobrepasar la estructura convencional de los ordenadores actuales diseñada John von Neumann desde hace casi 100 años es ...
Article
Icon

Tissue P systems with evolutional communication rules with two objects in the left-hand side

Orellana Martín, David; Valencia Cabrera, Luis; Song, Bosheng; Pan, Linqiang; Pérez Jiménez, Mario de Jesús (Springer, 2022)
In the framework of Membrane Computing, several efficient solutions to computationally hard problems have been given. To ...
Article
Icon

Membrane creation and symport/antiport rules solving QSAT

Orellana Martín, David; Valencia Cabrera, Luis; Pérez Jiménez, Mario de Jesús (Springer, 2022)
In Membrane Computing, diferent variants of devices can be found by changing both syntactical and semantic ingredients. ...
Article
Icon

GPU implementation of evolving spiking neural P systems

Gungon, Rogelio V.; Hernandez, Katreen Kyle M.; Cabarle, Francis George C.; Cruz, Ren Tristan de la; Adorna, Henry N.; Martínez del Amor, Miguel Ángel; Orellana Martín, David; Pérez Hurtado, Ignacio (ScienceDirect, 2022)
Methods for optimizing and evolving spiking neural P systems (in short, SN P systems) have been previously developed with ...
Article
Icon

P systems with evolutional symport and membrane creation rules solving QSAT

Orellana Martín, David; Valencia Cabrera, Luis; Pérez Jiménez, Mario de Jesús (Elsevier, 2022)
P systems are computing devices based on sets of rules that dictate how they work. While some of these rules can change ...
Article
IconIcon

A new P-Lingua toolkit for agile development in membrane computing

Pérez Hurtado de Mendoza, Ignacio; Orellana Martín, David; Martínez del Amor, Miguel Ángel; Valencia Cabrera, Luis; Riscos Núñez, Agustín (Elsevier, 2022)
Membrane computing is a massively parallel and non-deterministic bioinspired computing paradigm whose models are called P ...
Article
Icon

A membrane computing framework for social navigation in robotics

Pérez Hurtado de Mendoza, Ignacio; Orellana Martín, David; Martínez del Amor, Miguel Ángel; Valencia Cabrera, Luis (Elsevier, 2021)
A mobile robot acting in a human environment should follow social conventions, keeping safety distances and navigating at ...
Article
Icon

P systems with evolutional communication and division rules

Orellana Martín, David; Valencia Cabrera, Luis; Pérez Jiménez, Mario de Jesús (MDPI, 2021)
A widely studied field in the framework of membrane computing is computational complexity theory. While some types of P ...
Article
Icon

Simulation of Spiking Neural P Systems with Sparse Matrix-Vector Operations

Martínez del Amor, Miguel Ángel; Orellana Martín, David; Pérez Hurtado de Mendoza, Ignacio; Cabarle, Francis George C.; Adorna, Henry N. (MDPI, 2021)
To date, parallel simulation algorithms for spiking neural P (SNP) systems are based on a matrix representation. This way, ...
Article
Icon

Tuning Frontiers of Efficiency in Tissue P Systems with Evolutional Communication Rules

Orellana Martín, David; Valencia Cabrera, Luis; Song, Bosheng; Pan, Linqiang; Pérez Jiménez, Mario de Jesús (Hindawi, 2021)
Over the last few years, a new methodology to address the P versus NP problem has been developed, based on searching ...
Article
Icon

Dendrite P Systems Toolbox: Representation, Algorithms and Simulators

Orellana Martín, David; Martínez del Amor, Miguel Ángel; Valencia Cabrera, Luis; Pérez Hurtado de Mendoza, Ignacio; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (World Scientific, 2021)
Dendrite P systems (DeP systems) are a recently introduced neural-like model of computation. They provide an alternative ...
Article
Icon

Proof techniques in Membrane Computing

Orellana Martín, David; Valencia Cabrera, Luis; Pérez Jiménez, Mario de Jesús (Elsevier, 2021)
From the creation of the field of Membrane Computing in 1998, several research lines havebeen opened. On the one hand, ...
Article
Icon

A Survey of Nature-Inspired Computing: Membrane Computing

Song, Bosheng; Li, Kenli; Orellana Martín, David; Pérez Jiménez, Mario de Jesús; Pérez Hurtado de Mendoza, Ignacio (ACM Digital Library, 2021)
Nature-inspired computing is a type of human-designed computing motivated by nature, which is based on the employ of ...
Article
Icon

Cell-like P systems with polarizations and minimal rules

Pan, Linqiang; Orellana Martín, David; Song, Bosheng; Pérez Jiménez, Mario de Jesús (Elsevier, 2020)
P systems with active membranes are a class of computation models in the area ofmembrane computing, which are inspired ...
Presentation
Icon

Extracting Parallelism in Simulation Algorithms for PDP systems

Martínez del Amor, Miguel Ángel; Doncel Ramírez, Andrés; Orellana Martín, David; Pérez Hurtado de Mendoza, Ignacio (Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2020)
Population Dynamics P systems is a modelling framework that have been used successfully for some important real ecosystems. ...
Article
Icon

Adaptative parallel simulators for bioinspired computing models

Martínez del Amor, Miguel Ángel; Pérez Hurtado de Mendoza, Ignacio; Orellana Martín, David; Pérez Jiménez, Mario de Jesús (Elsevier, 2020)
In the Membrane Computing area, P systems are unconventional devices of computation inspired by the structure and processes ...
Book
Icon

Eighteenth Brainstorming Week on Membrane Computing Sevilla, February 4 - 7, 2020 : RGNC REPORT 1/2020

Orellana Martín, David; Paun, Gheorghe; Riscos Núñez, Agustín; Pérez Hurtado de Mendoza, Ignacio; Research Group on Natural Computing (Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2020)
Article
Icon

Cell-like P systems with evolutional symport/antiport rules and membrane creation

Song, Bosheng; Li, Kenli; Orellana Martín, David; Valencia Cabrera, Luis; Pérez Jiménez, Mario de Jesús (Elsevier, 2020)
Cell-like P systems with symport/antiport rules are computing models inspired by theconservation law, in the sense that ...
Article
Icon

When object production tunes the efficiency of membrane systems

Orellana Martín, David; Martínez del Amor, Miguel Ángel; Pérez Hurtado de Mendoza, Ignacio; Riscos Núñez, Agustín; Valencia Cabrera, Luis; Pérez Jiménez, Mario de Jesús (Elsevier, 2020)
Psystems with active membranes is one of the most studied models within the field ofMembrane Computing. Simulating the ...
Presentation
Icon

An optimal solution to the SAT problem with tissue P systems

Orellana Martín, David; Valencia Cabrera, Luis; Pérez Jiménez, Mario de Jesús (Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2020)
In the framework of membrane computing, several frontiers of e ciency have been found with respect to the resources that ...
Article
Icon

From NP-Completeness to DP-Completeness: A Membrane Computing Perspective

Valencia Cabrera, Luis; Orellana Martín, David; Martínez del Amor, Miguel Ángel; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús (Hindawi, 2020)
Presumably efficient computing models are characterized by their capability to provide polynomial-time solutions for ...
Presentation
Icon

Contour Approximation with P Systems

Ceterchi, Rodica; Orellana Martín, David; Zhang, Gexiang (Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2020)
We model the problem of contour approximation using Hilbert's space lling curve, with a novel type of parallel array ...
Article
Icon

Seeking computational efficiency boundaries: the Păun’s conjecture

Orellana Martín, David; Riscos Núñez, Agustín (Springer, 2020)
In 2005, Gh. Păun raised an interesting question concerning the role of electrical charges in P systems with active membranes ...
PhD Thesis
Icon

El problema P versus NP: desarrollo de nuevas técnicas a través de modelos de computación bio-inspirados.

Orellana Martín, David; Pérez Jiménez, Mario de Jesús; Valencia Cabrera, Luis (2019)
Article
Icon

Minimal cooperation as a way to achieve the efficiency in cell-like membrane systems

Orellana Martín, David; Valencia Cabrera, Luis; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (Springer, 2019)
Cooperation is doubtless a relevant ingredient on rewriting rules based computing models. This paper provides an overview on ...
Article
Icon

P‑Lingua in two steps: flexibility and efficiency

Pérez Hurtado de Mendoza, Ignacio; Orellana Martín, David; Zhang, Gexiang; Pérez Jiménez, Mario de Jesús (Springer, 2019)
Membrane computing is a bio-inspired computing paradigm that lacks in vivo implementation. That is why software or hardware ...
Presentation
Icon

A new perspective on computational complexity theory in Membrane Computing

Orellana Martín, David; Valencia Cabrera, Luis; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús; Research Group on Natural Computing (Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019)
A single Turing machine can solve decision problems with an in nite number of instances. On the other hand, in the framework ...
Presentation
Icon

New applications for an old tool

Valencia Cabrera, Luis; Orellana Martín, David; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús; Research Group on Natural Computing (Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019)
First, the dependency graph technique, not so far from its current application, was developed trying to nd the shortest ...
Presentation
Icon

11 years of P-Lingua: A backward glance

Pérez Hurtado de Mendoza, Ignacio; Orellana Martín, David; Martínez del Amor, Miguel Ángel; Valencia Cabrera, Luis; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (Editura BIBLIOSTAR, 2019)
In 2008, P-Lingua was born. The Research Group on Natural Computing worked on the development of simulation tools since ...
Presentation
Icon

Solving Problems Through a Single Membrane System

Orellana Martín, David; Valencia Cabrera, Luis; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (IMCS: International Membrane Computing Society, 2019)
The tape of a deterministic Turing machine contains an unbounded number of cells. Thanks to that, a single machine can ...
Presentation
Icon

An apparently innocent problem in Membrane Computing

Orellana Martín, David; Valencia Cabrera, Luis; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús; Research Group on Natural Computing (Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019)
The search for effcient solutions of computationally hard problems by means of families of membrane systems has lead to a ...
Article
Icon

A path to computational efficiency through membrane computing

Orellana Martín, David; Valencia Cabrera, Luis; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (Elsevier, 2019)
The search for new mechanisms and tools allowing us to tackle the famousPversusNPproblem from new perspectives is an ...
Presentation
Icon

A syntax for semantics in P-Lingua

Pérez Hurtado de Mendoza, Ignacio; Orellana Martín, David; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús; Research Group on Natural Computing (Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019)
P-Lingua is a software framework for Membrane Computing, it includes a programming language, also called P-Lingua, for ...
Presentation
Icon

Dependency Graph Technique Revisited

Valencia Cabrera, Luis; Orellana Martín, David; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús (IMCS: International Membrane Computing Society, 2019)
The dependency graph technique was initially thought as a method to find short paths in the computation tree of a membrane ...
Book
Icon

Seventeenth Brainstorming Week on Membrane Computing Sevilla, February 5 - 8, 2019 : RGNC REPORT 1/2019

Orellana Martín, David; Paun, Gheorghe; Riscos Núñez, Agustín; Andreu Guzmán, José A.; Research Group on Natural Computing (Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019)
Article
Icon

P systems with symport/antiport rules: When do the surroundings matter?

Orellana Martín, David; Martínez del Amor, Miguel Ángel; Valencia Cabrera, Luis; Song, Bosheng; Pan, Linqiang; Pérez Jiménez, Mario de Jesús (Elsevier, 2018)
Cell-like P systems where communication between the regions are carried out by rules of type symport/antiport are considered. ...
Presentation
Icon

Simulation of Computing P Systems: A GPU Design for the Factorization Problem

Martínez del Amor, Miguel Ángel; Orellana Martín, David; Pérez Hurtado de Mendoza, Ignacio; Valencia Cabrera, Luis; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (Friedrich-Schiller-Universität Jena, 2018)
Article
Icon

The Unique Satisfiability Problem from a Membrane Computing Perspective

Orellana Martín, David; Valencia Cabrera, Luis; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (Romanian Academy, Section for Information Science and Technology, 2018)
Complexity class DP is the class of “differences” of any two languages in NP. It verifies that NP[ co-NP DP PNP, where ...
Presentation
Icon

Narrowing Frontiers of Efficiency with Evolutional Communication Rules and Cell Separation

Orellana Martín, David; Valencia Cabrera, Luis; Song, Bosheng; Pan, Linqiang; Pérez Jiménez, Mario de Jesús (Universidad de Sevilla, Escuela Técnica Superior de Ingeniería Informática, 2018)
In the framework of Membrane Computing, several efficient solutions to computationally hard problems have been given. To ...
Article
Icon

From distribution to replication in cooperative systems with active membranes: A frontier of the efficiency

Valencia Cabrera, Luis; Orellana Martín, David; Martínez del Amor, Miguel Ángel; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (Elsevier, 2018)
P systems with active membranes use evolution, communication, dissolution and division(or separation) rules. They do not ...
Presentation
Icon

A Semantic Frontier of the Efficiency in Membrane Systems

Orellana Martín, David; Valencia Cabrera, Luis; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (Centre for Discrete Mathematics and Theoretical Computer Science, 2018)
The (presumed) efficiency of computing models is expressed by means of their ability to solve (NP-complete) presumably ...
Presentation
Icon

P-Lingua Compiler: A Tool for Generating Ad-hoc Simulators in Membrane Computing

Pérez Hurtado de Mendoza, Ignacio; Orellana Martín, David; Zhang, Gexiang; Pérez Jiménez, Mario de Jesús (Centre for Discrete Mathematics and Theoretical Computer Science, 2018)
Presentation
Icon

On GPU-Oriented P Systems

Martínez del Amor, Miguel Ángel; Orellana Martín, David; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (IEEE Computer Society, 2018)
Article
Icon

Simulation of Rapidly-Exploring Random Trees in Membrane Computing with P-Lingua and Automatic Programming

Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús; Zhang, Gexiang; Orellana Martín, David (Agora University of Oradea, 2018)
Methods based on Rapidly-exploring Random Trees (RRTs) have been widely used in robotics to solve motion planning problems. ...
Presentation
Icon

Design of Specific P Systems Simulators on GPUs

Martínez del Amor, Miguel Ángel; Orellana Martín, David; Pérez Hurtado de Mendoza, Ignacio; Valencia Cabrera, Luis; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (Springer, 2018)
In order to validate P system models and to assist on their formal verification, simulators are indispensable. Moreover, ...
Presentation
Icon

Limits on P Systems with Proteins and Without Division

Orellana Martín, David; Valencia Cabrera, Luis; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (Universidad de Sevilla, Escuela Técnica Superior de Ingeniería Informática, 2018)
In the field of Membrane Computing, computational complexity theory has been widely studied trying to nd frontiers of ...
Article
Icon

The role of integral membrane proteins in computational complexity theory

Orellana Martín, David; Martínez del Amor, Miguel Ángel; Valencia Cabrera, Luis; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (Springer, 2018)
In the framework of Membrane Computing, several tools to tackle the P versus NP problems by means of frontiers of the ...
Chapter of Book
Icon

Design Patterns for Efficient Solutions to NP-Complete Problems in Membrane Computing

Romero Jiménez, Álvaro; Orellana Martín, David (Springer, 2018)
Many variants of P systems have the ability to generate an exponential number of membranes in linear time. This feature ...
Presentation
Icon

Robot Path Planning using Rapidly-Exploring Random Trees: A Membrane Computing Approach

Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús; Zhang, Gexiang; Orellana Martín, David (IEEE Computer Society, 2018)
Methods based on Rapidly-exploring Random Trees (RRTs) have been in use in robotics to solve motion planning problems for ...
Article
Icon

Laser Dynamics from a Membrane Computing Perspective

Orellana Martín, David; Valencia Cabrera, Luis; Guisado Lízar, José Luís; Jiménez-Morales, Francisco de Paula; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (IMCS. International Membrane Computational Society, 2018)
Modelling real systems and processes is a task classically performed through the approach of di erential equation systems, ...
Presentation
Icon

The Factorization Problem: A New Approach Through Membrane Systems

Orellana Martín, David; Valencia Cabrera, Luis; Pérez Jiménez, Mario de Jesús (University of Paris Est Creteil Val de Marne, 2018)
The factorization problem (given a natural number which is the product of two prime numbers, find its decomposition) is ...
Article
Icon

From Super-cells to Robotic Swarms: Two Decades of Evolution in the Simulation of P Systems

Valencia Cabrera, Luis; Orellana Martín, David; Martínez del Amor, Miguel Ángel; Pérez Jiménez, Mario de Jesús (IMCS: International Membrane Computing Society, 2017)
Membrane Computing provides machine-oriented models of computation, with types and variants including different elements ...
Presentation
Icon

Counting Membrane Systems

Valencia Cabrera, Luis; Orellana Martín, David; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (University of Bradford, Faculty of Engineering and Informatics, 2017)
A decision problem is one that has a yes/no answer, while a counting problem asks how many possible solutions exist ...
Presentation
Icon

Restricted Polarizationless P Systems with Active Membranes: Minimal Cooperation Only Inwards

Valencia Cabrera, Luis; Orellana Martín, David; Martínez del Amor, Miguel Ángel; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (Fenix Editora, 2017)
Membrane computing is a computing paradigm providing a class of distributed parallel computing devices of a biochemical ...
Article
Icon

Reaching efficiency through collaboration in membrane systems: Dissolution, polarization and cooperation

Valencia Cabrera, Luis; Orellana Martín, David; Martínez del Amor, Miguel Ángel; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (Elsevier, 2017)
From a computational complexity point of view, some syntactical ingredients play differentroles depending on the kind of ...
Article
Icon

Cooperative P Systems and the P Versus NP Problem

Valencia Cabrera, Luis; Martínez del Amor, Miguel Ángel; Orellana Martín, David; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús (IMCS: International Membrane Computing Society, 2017)
The P versus NP problem is undoubtedly the most important open question in computer science. Frontiers of tractability or ...
Presentation
Icon

P Systems with Active Cells

Orellana Martín, David (Fenix Editora, 2017)
P systems with active membranes is a widely studied framework within the field of Membrane Computing since the creation ...
Presentation
Icon

Restricted Polarizationless P Systems with Active Membranes: Minimal Cooperation Only Outwards

Valencia Cabrera, Luis; Orellana Martín, David; Martínez del Amor, Miguel Ángel; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (Fenix Editora, 2017)
Membrane computing is a computing paradigm providing a class of distributed parallel computing devices of a biochemical ...
Article
Icon

Fuzzy reasoning spiking neural P systems revisited: A formalization

Pérez Jiménez, Mario de Jesús; Graciani Díaz, Carmen; Orellana Martín, David; Riscos Núñez, Agustín; Romero Jiménez, Álvaro; Valencia Cabrera, Luis (Elsevier, 2017)
Research interest within membrane computing is becoming increasingly interdisciplinary.In particular, one of the latest ...
Presentation
Icon

Sparse-matrix Representation of Spiking Neural P Systems for GPUs

Martínez del Amor, Miguel Ángel; Orellana Martín, David; Cabarle, Francis George C.; Pérez Jiménez, Mario de Jesús; Adorna, Henry N. (Fenix Editora, 2017)
Current parallel simulation algorithms for Spiking Neural P (SNP) systems are based on a matrix representation. This helps ...
Article
Icon

Polarizationless P Systems with Active Membranes: Computational Complexity Aspects

Valencia Cabrera, Luis; Orellana Martín, David; Martínez del Amor, Miguel Ángel; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (Institut für Informatik, Justus-Liebig-Universität Giessen, 2016)
P systems with active membranes, in their classical definition, make use of noncooperative rules only. However, it is well ...
Presentation
Icon

Minimal cooperation in polarizationless P systems with active membranes

Valencia Cabrera, Luis; Orellana Martín, David; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (Fénix, 2016)
P systems with active membranes is a well developed framework in the eld of Membrane Computing. Using evolution, ...
Presentation
Icon

Stern-Gerlach Experiment

Arazo, María; Barroso Mancha, Marc; Torre, Óscar de la; Moreno Valero, Laura; Ribes Metidieri, Ariadna; Ribes Metidieri, Patricia; Ventura, Ana; Orellana Martín, David (Fénix, 2016)
This work is about modelling an experiment composed by multiple Stern- Gerlach devices using Membrane Computing. We will ...
Article
Icon

Complexity Perspectives on Minimal Cooperation in Cell-like Membrane Systems

Valencia Cabrera, Luis; Orellana Martín, David; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (IMCS: International Membrane Computing Society, 2016)
Cooperation is doubtless a critical ingredient of a computing model. This paper provides an overview on results showing ...
Presentation
Icon

Uranium- decay chain

Arazo, María; Barroso Mancha, Marc; Torre, Óscar de la; Moreno Valero, Laura; Ribes Metidieri, Ariadna; Ribes Metidieri, Patricia; Ventura, Ana; Orellana Martín, David (Fénix, 2016)
The main objective of this article is to modelize the process of decay of Uranium within the framework of Membrane ...
Book
Icon

14th Brainstorming Week on Membrane Computing Sevilla, February 1 - 5, 2016 : RGNC Report 1/2016

Graciani Díaz, Carmen; Orellana Martín, David; Riscos Núñez, Agustín; Romero Jiménez, Álvaro; Valencia Cabrera, Luis; Research Group on Natural Computing (Fénix, 2016)
Presentation
Icon

Revisiting Sevilla Carpets: A New Tool for the P-Lingua Era

Orellana Martín, David; Graciani Díaz, Carmen; Martínez del Amor, Miguel Ángel; Riscos Núñez, Agustín; Valencia Cabrera, Luis (Fénix Editora, 2014)
Sevilla Carpets have already been used to compare di erent solutions of the Subset Sum problem: either designed in the ...