Constrained de novo peptide identification via multi-objective optimization | IEEE Conference Publication | IEEE Xplore