{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:25:18Z","timestamp":1747578318621},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540602996"},{"type":"electronic","value":"9783540447887"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60299-2_3","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T18:15:12Z","timestamp":1330280112000},"page":"36-52","source":"Crossref","is-referenced-by-count":9,"title":["The progressive party problem: Integer linear programming and constraint programming compared"],"prefix":"10.1007","author":[{"given":"Barbara M.","family":"Smith","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sally C.","family":"Brailsford","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter M.","family":"Hubbard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H. Paul","family":"Williams","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"3_CR1","unstructured":"H. Beringer and B. De Backer. Combinatorial Problem Solving in Constraint Logic Programming with Cooperating Solvers. In C. Beierle and L. Plumer, editors, Logic Programming: Formal Methods and Practical Applications, chapter 8, pages 245\u2013272. Elsevier Science B.V., 1995."},{"key":"3_CR2","unstructured":"M. Dincbas, H. Simonis, and P. van Hentenryck. Solving a Cutting-Stock problem in constraint logic programming. In R. Kowalski and K. Brown, editors, Logic Programming, pages 42\u201358. 1988."},{"key":"3_CR3","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0004-3702(80)90051-X","volume":"14","author":"R. Haralick","year":"1980","unstructured":"R. Haralick and G. Elliott. Increasing tree search efficiency for constraint satisfaction problems. Artificial Intelligence, 14:263\u2013313, 1980.","journal-title":"Artificial Intelligence"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"J.-F. Puget. On the Satisfiability of Symmetrical Constrained Satisfaction Problems. In Proceedings of ISMIS'93, 1993.","DOI":"10.1007\/3-540-56804-2_33"},{"key":"3_CR5","unstructured":"J.-F. Puget. A C++ Implementation of CLP. In Proceedings of SPICIS94 (Singapore International Conference on Intelligent Systems), 1994."},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"J.-F. Puget and B. De Backer. Comparing Constraint Programming and MILP. In APMOD'95, 1995.","DOI":"10.1007\/3-540-60299-2_43"},{"key":"3_CR7","first-page":"660","volume":"2","author":"P. Hentenryck van","year":"1988","unstructured":"P. van Hentenryck and J.-P. Carillon. Generality versus Specificity: an Experience with AI and OR techniques. In Proceedings of AAAI-88, volume 2, pages 660\u2013664, 1988.","journal-title":"Proceedings of AAAI-88"},{"key":"3_CR8","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1057\/jors.1992.65","volume":"43","author":"H. P. Williams","year":"1992","unstructured":"H. P. Williams. The elimination of integer variables. JORS, 43:387\u2013393, 1992.","journal-title":"JORS"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2014 CP '95"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60299-2_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:57:57Z","timestamp":1605646677000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60299-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540602996","9783540447887"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-60299-2_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}