A logic-based approach to polymer sequence analysis

DOI10.1007/S10852-010-9136-YzbMATH Open1229.92029OpenAlexW2071025784MaRDI QIDQ655183FDOQ655183

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

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
• scientific article; zbMATH DE number 4012616

zbMATH Keywords

mass spectrometrypeptide or polymer analysispropositional logic applications

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A linear-time algorithm for testing the truth of certain quantified Boolean formulas
• Polynomial-time inference of all valid implications for Horn and related formulae
• Title not available (Why is that?)
• Title not available (Why is that?)
• On finding solutions for extended Horn formulas
• Title not available (Why is that?)
• Extended Horn sets in propositional logic
• Title not available (Why is that?)
• A class of logic problems solvable by linear programming
• Logic programming and digital circuit analysis
• Solving peptide sequencing as satisfiability

Cited In (1)

• Title not available (Why is that?)

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)