mirage

Browsing by Author "Waarts, Orli"

DSpace/Manakin Repository

Browsing by Author "Waarts, Orli"

Sort by: Order: Results:

  • Laboratoire de l'informatique du parallélisme; Karp, Richard M.; Kenyon, Claire; Waarts, Orli (1995-09)
    (eng) The DNA model of computation, with test tubes of DNA molecules encoding bit sequences, is based on three primitives, extract-a-bit, merge-two-tubes and detect-emptiness. Perfect operations can test the satisfiability ...
Bookmark and Share