Clock-constrained tree proposal operators in Bayesian phylogenetic inference | IEEE Conference Publication | IEEE Xplore