Efficiently Calculating Evolutionary Tree Measures Using SAT.

Maria Luisa Bonet, Katherine St. John

Browse the full SAT paper archive.