Recent Submissions

  • Efficiently calculating evolutionary tree measures using SAT 

    Bonet Carbonell, M. Luisa; John, Katherine St. (2009)
    Article
    Open Access
    We 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, ...
  • Mining frequent closed rooted trees 

    Balcázar Navarro, José Luis; Bifet Figuerol, Albert Carles; Lozano Bojados, Antoni (2010-01)
    Article
    Open Access
    Many knowledge representation mechanisms are based on tree-like structures, thus symbolizing the fact that certain pieces of information are related in one sense or another. There exists a well-studied process of closure-based ...

View more