{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T01:23:49Z","timestamp":1773278629301,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540734321","type":"print"},{"value":"9783540734338","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73433-8_10","type":"book-chapter","created":{"date-parts":[[2007,8,11]],"date-time":"2007-08-11T10:36:40Z","timestamp":1186828600000},"page":"125-139","source":"Crossref","is-referenced-by-count":20,"title":["Efficient Haplotype Inference with Pseudo-boolean Optimization"],"prefix":"10.1007","author":[{"given":"Ana","family":"Gra\u00e7a","sequence":"first","affiliation":[]},{"given":"Jo\u00e3o","family":"Marques-Silva","sequence":"additional","affiliation":[]},{"given":"In\u00eas","family":"Lynce","sequence":"additional","affiliation":[]},{"given":"Arlindo L.","family":"Oliveira","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"crossref","first-page":"254","DOI":"10.1007\/978-3-540-30219-3_22","volume-title":"Algorithms in Bioinformatics","author":"D. Brown","year":"2004","unstructured":"Brown, D., Harrower, I.: A new integer programming formulation for the pure parsimony problem in haplotype analysis. In: Jonassen, I., Kim, J. (eds.) WABI 2004. LNCS (LNBI), vol.\u00a03240, pp. 254\u2013265. Springer, Heidelberg (2004)"},{"issue":"2","key":"10_CR2","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1109\/TCBB.2006.24","volume":"3","author":"D. Brown","year":"2006","unstructured":"Brown, D., Harrower, I.: Integer programming approaches to haplotype inference by pure parsimony. IEEE\/ACM Transactions on Computational Biology and Bioinformatics\u00a03(2), 141\u2013154 (2006)","journal-title":"IEEE\/ACM Transactions on Computational Biology and Bioinformatics"},{"key":"10_CR3","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1038\/ng1001-229","volume":"29","author":"M.J. Daly","year":"2001","unstructured":"Daly, M.J., Rioux, J.D., Schaffner, S.F., Hudson, T.J., Lander, E.S.: High-resolution haplotype structure in the human genome. Nature Genetics\u00a029, 229\u2013232 (2001)","journal-title":"Nature Genetics"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Drysdale, C.M., McGraw, D.W., Stack, C.B., Stephens, J.C., Judson, R.S., Nandabalan, K., Arnold, K., Ruano, G., Liggett, S.B.: Complex promoter and coding region \u03b2 2-adrenergic receptor haplotypes alter receptor expression and predict in vivo responsiveness. In: Proceedings of the National Academy of Sciences of the United States of America\u00a097, pp. 10483\u201310488 (2000)","DOI":"10.1073\/pnas.97.19.10483"},{"key":"10_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/SAT190014","volume":"2","author":"N. E\u00e9n","year":"2006","unstructured":"E\u00e9n, N., S\u00f6rensson, N.: Translating pseudo-Boolean constraints into SAT. Journal on Satisfiability, Boolean Modeling and Computation\u00a02, 1\u201326 (2006)","journal-title":"Journal on Satisfiability, Boolean Modeling and Computation"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/3-540-44888-8_11","volume-title":"Combinatorial Pattern Matching","author":"D. Gusfield","year":"2003","unstructured":"Gusfield, D.: Haplotype inference by pure parsimony. In: Baeza-Yates, R.A., Ch\u00e1vez, E., Crochemore, M. (eds.) CPM 2003. LNCS, vol.\u00a02676, pp. 144\u2013155. Springer, Heidelberg (2003)"},{"key":"10_CR7","series-title":"Chapman and Hall\/CRC Computer and Information Science Series, chapter Haplotype Inference","volume-title":"Handbook on Computational Molecular Biology","year":"2005","unstructured":"Gusfield, D., Orzach, S. (eds.): Handbook on Computational Molecular Biology. Chapman and Hall\/CRC Computer and Information Science Series, chapter Haplotype Inference, vol.\u00a09. CRC Press, Boca Raton (2005)"},{"key":"10_CR8","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1007\/978-3-540-24719-7_3","volume-title":"Computational Methods for SNPs and Haplotype Inference","author":"B. Halld\u00f3rsson","year":"2004","unstructured":"Halld\u00f3rsson, B., Bafna, V., Edwards, N., Lippert, R., Yooseph, S., Istrail, S.: A survey of computational methods for determining haplotypes. In: Istrail, S., Waterman, M.S., Clark, A. (eds.) Computational Methods for SNPs and Haplotype Inference. LNCS (LNBI), vol.\u00a02983, pp. 26\u201347. Springer, Heidelberg (2004)"},{"key":"10_CR9","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1097\/00008571-200308000-00006","volume":"13","author":"D.L. Kroetz","year":"2003","unstructured":"Kroetz, D.L., Pauli-Magnus, C., Hodges, L.M., Huang, C.C., Kawamoto, M., Johns, S.J., Stryke, D., Ferrin, T.E., DeYoung, J., Taylor, T., Carlson, E.J., Herskowitz, I., Giacomini, K.M., Clark, A.G.: Sequence diversity and haplotype structure in the human ABCD1 (MDR1, multidrug resistance transporter). Pharmacogenetics\u00a013, 481\u2013494 (2003)","journal-title":"Pharmacogenetics"},{"issue":"4","key":"10_CR10","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1287\/ijoc.1040.0085","volume":"16","author":"G. Lancia","year":"2004","unstructured":"Lancia, G., Pinotti, C.M., Rizzi, R.: Haplotyping populations by pure parsimony: complexity of exact and approximation algorithms. INFORMS Journal on Computing\u00a016(4), 348\u2013359 (2004)","journal-title":"INFORMS Journal on Computing"},{"key":"10_CR11","unstructured":"Lynce, I., Marques-Silva, J.: Efficient haplotype inference with Boolean satisfiability. In: National Conference on Artificial Intelligence (AAAI) (July 2006)"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Lynce, I., Marques-Silva, J.: SAT in bioinformatics: Making the case with haplotype inference. In: International Conference on Theory and Applications of Satisfiability Testing (SAT), pp. 136\u2013141 (August 2006)","DOI":"10.1007\/11814948_16"},{"key":"10_CR13","doi-asserted-by":"crossref","first-page":"103","DOI":"10.3233\/SAT190018","volume":"2","author":"V. Manquinho","year":"2006","unstructured":"Manquinho, V., Roussel, O.: The first evaluation of Pseudo-boolean solvers (PB\u201905). Journal on Satisfiability, Boolean Modeling and Computation\u00a02, 103\u2013143 (2006)","journal-title":"Journal on Satisfiability, Boolean Modeling and Computation"},{"key":"10_CR14","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1038\/8760","volume":"22","author":"M.J. Rieder","year":"1999","unstructured":"Rieder, M.J., Taylor, S.T., Clark, A.G., Nickerson, D.A.: Sequence variation in the human angiotensin converting enzyme. Nature Genetics\u00a022, 59\u201362 (1999)","journal-title":"Nature Genetics"},{"key":"10_CR15","doi-asserted-by":"publisher","first-page":"1576","DOI":"10.1101\/gr.3709305","volume":"15","author":"S. Schaffner","year":"2005","unstructured":"Schaffner, S., Foo, C., Gabriel, S., Reich, D., Daly, M., Altshuler, D.: Calibrating a coalescent simulation of human genome sequence variation. Genome Reasearch\u00a015, 1576\u20131583 (2005)","journal-title":"Genome Reasearch"},{"key":"10_CR16","doi-asserted-by":"publisher","first-page":"978","DOI":"10.1086\/319501","volume":"68","author":"M. Stephens","year":"2001","unstructured":"Stephens, M., Smith, N., Donelly, P.: A new statistical method for haplotype reconstruction. American Journal of Human Genetics\u00a068, 978\u2013989 (2001)","journal-title":"American Journal of Human Genetics"},{"key":"10_CR17","doi-asserted-by":"crossref","first-page":"1299","DOI":"10.1038\/nature04226","volume":"437","author":"The International HapMap Consortium","year":"2005","unstructured":"The\u00a0International\u00a0HapMap\u00a0Consortium. A haplotype map of the human genome. Nature, 437, 1299\u20131320 (2005)","journal-title":"Nature"},{"issue":"14","key":"10_CR18","doi-asserted-by":"publisher","first-page":"1773","DOI":"10.1093\/bioinformatics\/btg239","volume":"19","author":"L. Wang","year":"2003","unstructured":"Wang, L., Xu, Y.: Haplotype inference by maximum parsimony. Bioinformatics\u00a019(14), 1773\u20131780 (2003)","journal-title":"Bioinformatics"}],"container-title":["Lecture Notes in Computer Science","Algebraic Biology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73433-8_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T00:14:33Z","timestamp":1605744873000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73433-8_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540734321","9783540734338"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73433-8_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[]}}