A Partial Set Covering Model for Protein Mixture Identification Using Mass Spectrometry Data | IEEE Journals & Magazine | IEEE Xplore