De Novo Peptide Sequencing Based on Vertex Contraction Algorithm | IEEE Conference Publication | IEEE Xplore