{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:26:25Z","timestamp":1725567985965},"publisher-location":"New York, NY","reference-count":32,"publisher":"Springer New York","isbn-type":[{"type":"print","value":"9781441967992"},{"type":"electronic","value":"9781441968005"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-1-4419-6800-5_1","type":"book-chapter","created":{"date-parts":[[2010,10,14]],"date-time":"2010-10-14T18:29:12Z","timestamp":1287080952000},"page":"1-22","source":"Crossref","is-referenced-by-count":0,"title":["Complete and Exact Peptide Sequence Analysis Based on Propositional Logic"],"prefix":"10.1007","author":[{"given":"Renato","family":"Bruni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,9,21]]},"reference":[{"key":"1_CR1_1","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/0020-0190(79)90002-4","volume":"8","author":"B Aspvall","year":"1979","unstructured":"B. Aspvall, M.F. Plass, and R.E. Tarjan. A linear time algorithm for testing the truth of certain quantified boolean formulas. Information Processing Letters8, 121\u2013123 (1979)","journal-title":"Information Processing Letters"},{"key":"1_CR2_1","doi-asserted-by":"crossref","unstructured":"V. Bafna and N. Edwards. On de novo interpretation of tandem mass spectra for peptide identification. In Annual Conference on Research in Computational Molecular BiologyRECOMB03, 9\u201318 (2003)","DOI":"10.1145\/640075.640077"},{"key":"1_CR3_1","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/BF01531068","volume":"1","author":"E Boros","year":"1990","unstructured":"E. Boros, Y. Crama, and P.L. Hammer. Polynomial time inference of all valid implications for Horn and related formulae. Annals of Mathematics and Artificial Intelligence1, 21\u201332 (1990)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"1_CR4_1","volume-title":"Introduction to Protein Structure","author":"C Branden","year":"1999","unstructured":"C. Branden and J. Tooze. Introduction to Protein Structure.Garland Publishing, New York (1999)"},{"issue":"5","key":"1_CR5_1","doi-asserted-by":"publisher","first-page":"912","DOI":"10.1016\/j.camwa.2006.12.094","volume":"55","author":"R Bruni","year":"2008","unstructured":"R. Bruni. Solving peptide sequencing as satisfiability. Computer and Mathematics with Applications55(5), 912\u2013923 (2008)","journal-title":"Computer and Mathematics with Applications"},{"key":"1_CR6_1","unstructured":"R. Bruni and A. Santori. Adding a new conflict-based branching heuristic in two evolved DPLL SAT solvers. In Proceedings of the Seventh International Conference on Theory and Applications of Satisfiability TestingSAT2004 (2004)"},{"key":"1_CR7_1","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1002\/psc.595","volume":"11","author":"R Bruni","year":"2005","unstructured":"R. Bruni, G. Gianfranceschi, and G. Koch. On peptide de novo sequencing: a new approach. Journal of Peptide Science11, 225\u2013234 (2005)","journal-title":"Journal of Peptide Science"},{"key":"1_CR8_1","volume-title":"Monte Carlo Statistical Methods","author":"G Casella","year":"2006","unstructured":"G. Casella and C.P. Robert. Monte Carlo Statistical Methods. Springer, New York (2006)"},{"key":"1_CR9_1","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1145\/102782.102789","volume":"38","author":"V Chandru","year":"1991","unstructured":"V. Chandru and J.N. Hooker. Extend Horn clauses in propositional logic. Journal of the ACM38, 203\u2013221 (1991)","journal-title":"Journal of the ACM"},{"key":"1_CR10_1","doi-asserted-by":"publisher","DOI":"10.1002\/9781118033166","volume-title":"Optimization Methods for Logical Inference","author":"V Chandru","year":"1999","unstructured":"V. Chandru and J.N. Hooker. Optimization Methods for Logical Inference. Wiley, New York (1999)"},{"issue":"6","key":"1_CR11_1","doi-asserted-by":"publisher","first-page":"571","DOI":"10.1089\/106652701753307494","volume":"8","author":"T Chen","year":"2001","unstructured":"T. Chen, M.Y. Kao, M. Tepel, J. Rush, and G.M. Church. A dynamic programming approach to de novo peptide sequencing via tandem mass spectrometry. Journal of Computational Biology8(6), 571\u2013583 (2001)","journal-title":"Journal of Computational Biology"},{"issue":"1","key":"1_CR12_1","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/0743-1066(87)90022-7","volume":"4","author":"WF Clocksin","year":"1987","unstructured":"W.F. Clocksin. Logic programming and digital circuit analysis. Journal of Logic Programming4(1), 59\u201382 (1987)","journal-title":"Journal of Logic Programming"},{"issue":"5","key":"1_CR13_1","doi-asserted-by":"publisher","first-page":"1107","DOI":"10.1145\/210118.210137","volume":"42","author":"M Conforti","year":"1995","unstructured":"M. Conforti and G. Cornu\u00e9jols. A class of logical inference problems soluble by linear programming. Journal of the ACM42(5), 1107\u20131113 (1995)","journal-title":"Journal of the ACM"},{"key":"1_CR14_1","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1089\/106652799318300","volume":"6","author":"V Dancik","year":"1999","unstructured":"V. Dancik, T.A. Addona, K.R. Clauser, J.E. Vath, and P.A. Pevzner. De novo peptide sequencing via tandem mass spectrometry. Journal of Computational Biology6, 327\u2013342 (1999)","journal-title":"Journal of Computational Biology"},{"key":"1_CR15_1","volume-title":"Computers and Intractability","author":"MR Garey","year":"1979","unstructured":"M.R. Garey and D.S. Johnson. Computers and Intractability. Freeman, New York (1979)"},{"key":"1_CR16_1","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1090\/dimacs\/035\/02","volume":"35","author":"J. Gu","year":"1997","unstructured":"J. Gu, P.W. Purdom, J. Franco, and B.W. Wah. Algorithms for the Satisfiability (SAT) Problem: A Survey. DIMACS Series in Discrete Mathematics35, 19\u2013151, American Mathematical Society (1997)","journal-title":"DIMACS Series in Discrete Mathematics"},{"key":"1_CR17_1","first-page":"41","volume":"146","author":"RS Johnson","year":"2000","unstructured":"R.S. Johnson and J.A. Taylor. Searching sequence databases via de novo peptide sequencing by tandem mass spectrometry. Methods in Molecular Biology146, 41\u201361 (2000)","journal-title":"Methods in Molecular Biology"},{"key":"1_CR18_1","volume-title":"Propositional Logic: Deduction and Algorithms","author":"H Kleine B\u00fcning","year":"1999","unstructured":"H. Kleine B\u00fcning and T. Lettman. Propositional Logic: Deduction and Algorithms. Cambridge University Press, Cambridge (1999)"},{"key":"1_CR19_1","doi-asserted-by":"crossref","unstructured":"T.D. Lee. Fast atom bombardment and secondary ion mass spectrometry of peptides and proteins. In Methods of Protein Microcharacterization, J.E. Shively (editor) 403\u2013441, Humana Press, NJ (1986)","DOI":"10.1007\/978-1-59259-436-8_16"},{"key":"1_CR20_1","doi-asserted-by":"crossref","unstructured":"G. Montaudo and R.P. Lattimer (editors). Mass Spectrometry of Polymers. CRC Press, Boca Raton (2001)","DOI":"10.1201\/9780849331275"},{"key":"1_CR21_1","doi-asserted-by":"crossref","DOI":"10.1002\/9781118627372","volume-title":"Integer and Combinatorial Optimization","author":"GL Nemhauser","year":"1988","unstructured":"G.L. Nemhauser and L.A. Wolsey. Integer and Combinatorial Optimization.Wiley, New York (1988)"},{"issue":"3","key":"1_CR22_1","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/0020-0190(95)00019-9","volume":"54","author":"JS Schlipf","year":"1995","unstructured":"J.S. Schlipf, F.S. Annexstein, J.V. Franco, and R.P. Swaminathan. On finding solutions for extended horn formulas. Information Processing Letters54(3), 133\u2013137 (1995)","journal-title":"Information Processing Letters"},{"key":"1_CR23_1","volume-title":"Mass Spectrometry for Biotechnology","author":"G Siuzdak","year":"1996","unstructured":"G. Siuzdak. Mass Spectrometry for Biotechnology. Academic Press, New York (1996)"},{"key":"1_CR24_1","unstructured":"Software system DeNovoX. ThermoFinnigan Corp. ( http:\/\/www.thermo.com )"},{"key":"1_CR25_1","unstructured":"Software system Mass Seq. Micromass Ltd. ( http:\/\/www.micromass.co.uk )"},{"key":"1_CR26_1","unstructured":"Software system PEAKS. Bioinformatics Solutions Inc. ( http:\/\/www.bioinformaticssolutions . com)"},{"key":"1_CR27_1","unstructured":"Software system Spectrum Mill. Agilent Technologies Inc. ( http:\/\/www.agilent.com )"},{"key":"1_CR28_1","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1002\/9780470110553.ch3","volume":"34","author":"JT Stults","year":"1990","unstructured":"J.T. Stults. Peptide sequencing by mass spectrometry. Methods of Biochemical Analysis34, 145\u2013201 (1990)","journal-title":"Methods of Biochemical Analysis"},{"key":"1_CR29_1","doi-asserted-by":"publisher","first-page":"2594","DOI":"10.1021\/ac001196o","volume":"73","author":"JA Taylor","year":"2001","unstructured":"J.A. Taylor and R.S. Johnson. Implementation and uses of automated de novo peptide sequencing by tandem mass spectrometry. Analytical Chemistry73, 2594\u20132604 (2001)","journal-title":"Analytical Chemistry"},{"key":"1_CR30_1","volume-title":"Effective Logic Computation","author":"K Truemper","year":"1998","unstructured":"K. Truemper. Effective Logic Computation. Wiley, New York (1998)"},{"key":"1_CR31_1","volume-title":"Constraint satisfaction in logic programming","author":"P Hentenryck Van","year":"1989","unstructured":"P. Van Hentenryck. Constraint satisfaction in logic programming.MIT, MA (1989)"},{"key":"1_CR32_1","volume-title":"Biochemistry","author":"D Voet","year":"2004","unstructured":"D. Voet. Biochemistry. Wiley, New York (2004)"}],"container-title":["Mathematical Approaches to Polymer Sequence Analysis and Related Problems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4419-6800-5_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,31]],"date-time":"2024-03-31T11:52:40Z","timestamp":1711885960000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4419-6800-5_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9,21]]},"ISBN":["9781441967992","9781441968005"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-1-4419-6800-5_1","relation":{},"subject":[],"published":{"date-parts":[[2010,9,21]]}}}