A logic-based approach to polymer sequence analysis
From MaRDI portal
Publication:655183
DOI10.1007/s10852-010-9136-yzbMath1229.92029MaRDI QIDQ655183
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
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On finding solutions for extended Horn formulas
- Solving peptide sequencing as satisfiability
- 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
- Logic programming and digital circuit analysis
- Extended Horn sets in propositional logic
- A class of logic problems solvable by linear programming