A machine learning method for the discovery of minimum marker gene combinations for cell type identification from single-cell RNA sequencing