In this thesis, we consider the complexity of decision problems from two different areas of research and place them in the polynomial hierarchy: phylogenetics and (quantified) propositional logic. In phylogenetics, researchers ...