To access the full text documents, please follow this link: http://hdl.handle.net/2117/12674
dc.contributor | Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics |
---|---|
dc.contributor | Universitat Politècnica de Catalunya. LOGPROG - Lògica i Programació |
dc.contributor.author | Bonet Carbonell, M. Luisa |
dc.contributor.author | John, Katherine St. |
dc.date | 2009 |
dc.identifier.citation | Bonet, M.; John, K. Efficiently calculating evolutionary tree measures using SAT. "Lecture notes in computer science", 2009, vol. 5584, p. 4-17. |
dc.identifier.citation | 0302-9743 |
dc.identifier.citation | 10.1007/978-3-642-02777-2 |
dc.identifier.uri | http://hdl.handle.net/2117/12674 |
dc.language.iso | eng |
dc.rights | Attribution-NonCommercial-NoDerivs 3.0 Spain |
dc.rights | info:eu-repo/semantics/openAccess |
dc.rights | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica |
dc.subject | Evolution (Biology) -- Mathematical models |
dc.subject | SAT solvers |
dc.subject | Evolutionary tree measures |
dc.subject | Evolució (Biologia) -- Models matemàtics |
dc.title | Efficiently calculating evolutionary tree measures using SAT |
dc.type | info:eu-repo/semantics/submittedVersion |
dc.type | info:eu-repo/semantics/article |
dc.description.abstract |