{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T11:11:43Z","timestamp":1757589103578},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540712084"},{"type":"electronic","value":"9783540712091"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-71209-1_26","type":"book-chapter","created":{"date-parts":[[2007,7,4]],"date-time":"2007-07-04T18:56:34Z","timestamp":1183575394000},"page":"339-342","source":"Crossref","is-referenced-by-count":3,"title":["Checking Pedigree Consistency with PCS"],"prefix":"10.1007","author":[{"given":"Panagiotis","family":"Manolios","sequence":"first","affiliation":[]},{"given":"Marc Galceran","family":"Oms","sequence":"additional","affiliation":[]},{"given":"Sergi Oliva","family":"Valls","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"26_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1007\/978-3-540-45208-9_15","volume-title":"Theoretical Computer Science","author":"L. Aceto","year":"2003","unstructured":"Aceto, L., et al.: The complexity of checking consistency of pedigree information and related problems. In: Blundo, C., Laneve, C. (eds.) ICTCS 2003. LNCS, vol.\u00a02841, pp. 174\u2013187. Springer, Heidelberg (2003)"},{"key":"26_CR2","unstructured":"de Givry, S., et al.: Mendelian error detection in complex pedigree using weighted constraint satisfaction techniques. In: ICLP-05 workshop on Constraint Based Methods for Bioinformatics, Sitges, Spain (2005)"},{"issue":"3","key":"26_CR3","first-page":"250","volume":"40","author":"K. Lange","year":"1987","unstructured":"Lange, K., Goradia, T.: An algorithm for automatic genotype elimination. American Journal of Human Genetics\u00a040(3), 250\u2013256 (1987)","journal-title":"American Journal of Human Genetics"},{"key":"26_CR4","unstructured":"Manolios, P., Oms, M.G., Valls, S.O.: PCS: Pedigree Checking with SAT (2007), Available from http:\/\/www.cc.gatech.edu\/~manolios\/pcs\/"},{"key":"26_CR5","doi-asserted-by":"crossref","unstructured":"Manolios, P., Srinivasan, S.K., Vroon, D.: Automatic memory reductions for RTL-level verification. In: ACM-IEEE International Conference on Computer Aided Design (ICCAD 2006) (November 2006)","DOI":"10.1109\/ICCAD.2006.320121"},{"key":"26_CR6","unstructured":"Manolios, P., Srinivasan, S.K., Vroon, D.: BAT: The Bit-level Analysis Tool (2006), Available from http:\/\/www.cc.gatech.edu\/~manolios\/bat\/"},{"key":"26_CR7","doi-asserted-by":"crossref","unstructured":"Moskewicz, M.W., et al.: Chaff: Engineering an efficient SAT solver. In: Design Automation Conference (DAC\u201901), pp. 530\u2013535 (2001)","DOI":"10.1145\/378239.379017"},{"issue":"1","key":"26_CR8","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1086\/301904","volume":"63","author":"J.R. O\u2019Connell","year":"1998","unstructured":"O\u2019Connell, J.R., Weeks, D.E.: Pedcheck: A program for identification of genotype incompatibilities in linkage analysis. American Journal of Human Genetics\u00a063(1), 259\u2013266 (1998)","journal-title":"American Journal of Human Genetics"},{"issue":"6","key":"26_CR9","doi-asserted-by":"publisher","first-page":"1733","DOI":"10.1086\/302663","volume":"65","author":"J.R. O\u2019Connell","year":"1999","unstructured":"O\u2019Connell, J.R., Weeks, D.E.: An optimal algorithm for automatic genotype elimination. American Journal of Human Genetics\u00a065(6), 1733\u20131740 (1999)","journal-title":"American Journal of Human Genetics"},{"key":"26_CR10","doi-asserted-by":"publisher","first-page":"496","DOI":"10.1086\/338920","volume":"70","author":"E. Sobel","year":"2002","unstructured":"Sobel, E., Papp, J.C., Lange, K.: Detection and integration of genotyping errors in statistical genetics. American Journal of Human Genetics\u00a070, 496\u2013508 (2002)","journal-title":"American Journal of Human Genetics"},{"key":"26_CR11","unstructured":"Zhang, L., Malik, S.: Validating SAT solvers using an independent resolution-based checker: Practical implementations and other applications. In: Proceedings of the Design and Test in Europe Conference, March 2003, pp. 10880\u201310885 (2003)"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71209-1_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T00:16:44Z","timestamp":1605745004000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71209-1_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540712084","9783540712091"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71209-1_26","relation":{},"subject":[]}}