|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 6 van 21 gevonden artikelen
| Titel: |
DNA and Membrane Algorithms for SAT |
| Auteur: |
Vincenzo Manca |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 49 (2003) nr. 1-3 pagina's 205-221 |
| Jaar: |
2003-07-11 |
| Inhoud: |
Some DNA algorithms proposed in the literature for propositional satisfiability (SAT) are analyzed. In the class of 'extract model' the two sub-classes of 'literal string' and 'clause string' algorithms are compared and a new formulation of these algorithms is given in terms of membrane systems. Then, the duality between literal string and clause string formulation of SAT is expressed by means of 'singleton matrices' that introduce another membrane algorithm for SAT. The analysis developed suggests the perspective of membrane systems as problem-solving agents based on molecule localization, transformation, and propagation. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 6 van 21 gevonden artikelen
| << vorige | volgende >> |