{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,24]],"date-time":"2026-07-24T21:01:47Z","timestamp":1784926907577,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540202028","type":"print"},{"value":"9783540451938","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45193-8_8","type":"book-chapter","created":{"date-parts":[[2010,9,8]],"date-time":"2010-09-08T23:35:03Z","timestamp":1283988903000},"page":"108-122","source":"Crossref","is-referenced-by-count":133,"title":["Efficient CNF Encoding of Boolean Cardinality Constraints"],"prefix":"10.1007","author":[{"given":"Olivier","family":"Bailleux","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yacine","family":"Boufkhad","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Barcucci, E., Dellungo, A., Nivat, M., Pinzani, R.: Reconstructing convex polyominoes from horizontal and vertical projections. Theoret. Comput. Sci, pp. 321\u2013 347 (1996)","DOI":"10.1016\/0304-3975(94)00293-2"},{"key":"8_CR2","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0895-7177(94)90127-9","volume":"12","author":"N. Beldiceanu","year":"1994","unstructured":"Beldiceanu, N., Contjean, E.: Introducing global constraints in CHIP. Mathematical and Computer Modelling\u00a012, 97\u2013123 (1994)","journal-title":"Mathematical and Computer Modelling"},{"issue":"3","key":"8_CR3","doi-asserted-by":"publisher","first-page":"1647","DOI":"10.1016\/S0304-3975(02)00072-5","volume":"290","author":"Y. Boufkhad","year":"2003","unstructured":"Boufkhad, Y., Dubois, O., Nivat, M.: Reconstructing (h, v)-convex 2-dimensional patterns of objects from approximate horizontal and vertical projections. Theoret. Comput. Sci.\u00a0290(3), 1647\u20131664 (2003)","journal-title":"Theoret. Comput. Sci."},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Chang, S.: The reconstruction of binary patterns from their projections. Comm. ACM, 21\u201325 (1971)","DOI":"10.1145\/362452.362471"},{"key":"8_CR5","unstructured":"Cosytec, S.A.: CHIP C++ Library. Reference Manual, Version 5.4 (October 2001)"},{"key":"8_CR6","unstructured":"Crawford, J.: Instances of learning parity function, http:\/\/www.intellektik.informatik.tudarmstadt.de\/SATLIB\/Benchmarks\/SAT\/DIMACS\/PARITY\/descr.html"},{"key":"8_CR7","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1145\/368273.368557","volume":"5","author":"M. Davis","year":"1962","unstructured":"Davis, M., Logemann, G., Loveland, D.: A machine program for theorem proving. Communications of the ACM\u00a05, 394\u2013397 (1962)","journal-title":"Communications of the ACM"},{"key":"8_CR8","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1145\/321033.321034","volume":"7","author":"M. Davis","year":"1960","unstructured":"Davis, M., Putnam, H.: A computing procedure for quantification theory. Journal of the ACM\u00a07, 201\u2013215 (1960)","journal-title":"Journal of the ACM"},{"key":"8_CR9","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/0304-3975(94)90107-4","volume":"127","author":"A. Dellungo","year":"1994","unstructured":"Dellungo, A.: Polyominoes defined by two vectors. Theoret. Comput. Sci.\u00a0127, 187\u2013198 (1994)","journal-title":"Theoret. Comput. Sci."},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Gardner, R.G., Gritzmann, P., Prangenberg, D.: Ont the computational complexity of reconstructing lattice sets from their x-rays. Discrete Mathematics, 45\u201371 (1999)","DOI":"10.1016\/S0012-365X(98)00347-1"},{"key":"8_CR11","unstructured":"Gent, P.: Arc consistency in sat. In: Proceedings of the Fifteenth European Conference on Artificial Intelligence, (ECAI 2002) (2002)"},{"key":"8_CR12","volume-title":"DIMACS Series in Discrete Mathematics and Theoretical Computer Science","year":"1996","unstructured":"Johnson, D., Trick, M. (eds.): DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol.\u00a026. American Mathematical Society, Providence (1996)"},{"key":"8_CR13","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/0734-189X(84)90031-8","volume":"27","author":"A. Kuba","year":"1984","unstructured":"Kuba, A.: The reconstruction of two-directionaly connected binary patterns. Comput. Graph. Image Process\u00a027, 249\u2013265 (1984)","journal-title":"Comput. Graph. Image Process"},{"key":"8_CR14","unstructured":"Li, C.: Integrating equivalency reasoning into davis-putnam procedure. In: AAAI: 17th National Conference on Artificial Intelligence. AAAI \/ MIT Press (2000)"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Moskewicz, M., Madigan, C., Zhao, L., Zhang, L., Malik, S.: Chaff: Engineering an efficient sat solver. In: 39th Design Automation Conference (June 2001)","DOI":"10.1145\/378239.379017"},{"key":"8_CR16","unstructured":"R\u00e9gin, J.-C.: Generalized arc consistency for global cardinality constraint. In: AAAI 1996, pp. 209\u2013215 (1996)"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"Ryser, H.: Combinatorial Mathematics. The Carus Mathematical Monographs (1963)","DOI":"10.5948\/UPO9781614440147"},{"key":"8_CR18","unstructured":"Selman, B., Kautz, H.A., Mcallester, D.A.: Ten challenges in propositional reasoning and search. In: Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI 1997), pp. 50\u201354 (1997)"},{"key":"8_CR19","doi-asserted-by":"publisher","first-page":"1032","DOI":"10.1109\/T-C.1975.224121","volume":"24","author":"Y. Wang","year":"1975","unstructured":"Wang, Y.: Characterization of binary patterns and their projections. IEEE Trans. Compt. \u00a0C-24, 1032\u20131035 (1975)","journal-title":"IEEE Trans. Compt."},{"issue":"3-5","key":"8_CR20","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/S0167-6377(98)00052-2","volume":"23","author":"J. Warners","year":"1999","unstructured":"Warners, J., van Maaren, H.: A two phase algorithm for solving a class of hard satisfiability problems. Op. Res. Lett.\u00a023(3-5), 81\u201388 (1999)","journal-title":"Op. Res. Lett."},{"key":"8_CR21","unstructured":"Woeginger, G.: The reconstruction of polyominoes from their orthogonal projections, tech. rep., TU Graz (1996)"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2013 CP 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45193-8_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,11]],"date-time":"2020-06-11T11:47:43Z","timestamp":1591876063000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45193-8_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540202028","9783540451938"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45193-8_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003]]}}}