A logic-based approach to polymer sequence analysis

DOI10.1007/S10852-010-9136-YMaRDI QIDQ655183zbMATHOpenAlexFDO

Authors Renato Bruni

Publication date 2 January 2012

Published in JMMA. Journal of Mathematical Modelling and Algorithms (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10852-010-9136-y

zbMATH Keywords

mass spectrometrypeptide or polymer analysispropositional logic applications

Mathematics Subject Classification ID

Biochemistry, molecular biology (92C40) Other applications of logic (03B80)

Recommendations

• A combinatorial optimization approach for determining composition and sequence of polymers
• Mass distributions of linear chain polymers
• Solving peptide sequencing as satisfiability
• Note concerning the algorithmic analysis of polymer thermodynamics
• Publication:3762321

Cites work

• scientific article; zbMATH DE number 4162324 (Why is no real title available?)
• scientific article; zbMATH DE number 3639144 (Why is no real title available?)
• scientific article; zbMATH DE number 1324220 (Why is no real title available?)
• scientific article; zbMATH DE number 1350773 (Why is no real title available?)
• scientific article; zbMATH DE number 1113992 (Why is no real title available?)
• scientific article; zbMATH DE number 1470716 (Why is no real title available?)
• scientific article; zbMATH DE number 1380573 (Why is no real title available?)
• scientific article; zbMATH DE number 1445327 (Why is no real title available?)
• A class of logic problems solvable by linear programming
• A linear-time algorithm for testing the truth of certain quantified Boolean formulas
• Extended Horn sets in propositional logic
• Logic programming and digital circuit analysis
• On finding solutions for extended Horn formulas
• Polynomial-time inference of all valid implications for Horn and related formulae
• Solving peptide sequencing as satisfiability

Cited in

(3)

• A combinatorial optimization approach for determining composition and sequence of polymers
• scientific article; zbMATH DE number 4024825 (Why is no real title available?)
• Mass distributions of linear chain polymers

Describes a project that uses

Uses Software

• Leibniz

This page was built for publication: A logic-based approach to polymer sequence analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q655183)