Efficiently Calculating Evolutionary Tree Measures Using SAT | Publicación