Exploració per tema "Evolució (Biologia) -- Models matemàtics"
Ara es mostren els items 1-1 de 1
-
Efficiently calculating evolutionary tree measures using SAT
(2009)
Article
Accés obertWe develop techniques to calculate important measures in evolutionary biology by encoding to CNF formulas and using powerful SAT solvers. Comparing evolutionary trees is a necessary step in tree reconstruction algorithms, ...