Antilope—A Lagrangian Relaxation Approach to the de novo Peptide Sequencing Problem | IEEE Journals & Magazine | IEEE Xplore