A DNA algorithm for SAT, the satisfiabilityof propositional formulae, is presented where the number of separation steps is given by the number of clauses of the instance. This represents a computational improvement for DNA algorithms based on Adleman and Lipton’s extraction model, where the number of separations equates the number of literals of the instance
Manca, V., & Zandron, C. (2002). A clause string DNA algorithm for SAT. In 7th International Workshop on DNA-Based Computers, DNA 2001; Tampa; United States; 10 June 2001 through 13 June 2001 (pp.172-181). Springer Verlag.
Citazione: | Manca, V., & Zandron, C. (2002). A clause string DNA algorithm for SAT. In 7th International Workshop on DNA-Based Computers, DNA 2001; Tampa; United States; 10 June 2001 through 13 June 2001 (pp.172-181). Springer Verlag. | |
Tipo: | paper | |
Carattere della pubblicazione: | Scientifica | |
Presenza di un coautore afferente ad Istituzioni straniere: | No | |
Titolo: | A clause string DNA algorithm for SAT | |
Autori: | Manca, V; Zandron, C | |
Autori: | ZANDRON, CLAUDIO (Ultimo) | |
Data di pubblicazione: | 2002 | |
Lingua: | English | |
Nome del convegno: | International Workshop on DNA-Based Computers, DNA 10-13 June | |
ISBN: | 3540437754 | |
Serie: | LECTURE NOTES IN COMPUTER SCIENCE | |
Appare nelle tipologie: | 02 - Intervento a convegno |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.