A theoretical and computational analysis of full strong-branching