Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
471174 | Computers & Mathematics with Applications | 2008 | 12 Pages |
Abstract
This paper presents an approach for determining the amino acid sequence of a peptide through the solution of propositional satisfiability problems. Data obtained from the mass spectrometry analysis of a peptide are used to build a propositional logic formula, whose models represent coherent interpretations of that set of data and can be used to generate all possible correct results of the analysis itself. Some computational results on real-world peptide analysis problems are reported, which show the effectiveness of our approach.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computer Science (General)
Authors
Renato Bruni,