Efficiently Calculating Evolutionary Tree Measures Using SAT.

Maria Luisa Bonet Katherine St. John

Published in: SAT (2009)

Keyphrases

phylogenetic trees
tree structure
evolutionary computation
genetic algorithm
data sets
search algorithm
neural network
multi dimensional
computational complexity
search space
sat solvers
stochastic local search