{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:04:09Z","timestamp":1725483849585},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540441205"},{"type":"electronic","value":"9783540461357"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-46135-3_6","type":"book-chapter","created":{"date-parts":[[2007,5,15]],"date-time":"2007-05-15T05:59:47Z","timestamp":1179208787000},"page":"80-92","source":"Crossref","is-referenced-by-count":6,"title":["On the Sum Constraint: Relaxation and Applications"],"prefix":"10.1007","author":[{"given":"Tallys H.","family":"Yunes","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,9,2]]},"reference":[{"key":"6_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0166-218X(98)00136-X","volume":"89","author":"E. Balas","year":"1998","unstructured":"E. Balas. Disjunctive programming: Properties of the convex hull of feasible points. Discrete Applied Mathematics, 89:3\u201344, 1998.","journal-title":"Discrete Applied Mathematics"},{"key":"6_CR2","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/BF01386316","volume":"4","author":"J. F. Benders","year":"1962","unstructured":"J. F. Benders. Partitioning procedures for solving mixed-variables programming problems. Numerische Mathematik, 4:238\u2013252, 1962.","journal-title":"Numerische Mathematik"},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"659","DOI":"10.1016\/S0098-1354(00)00388-4","volume":"24","author":"G. Blau","year":"2000","unstructured":"G. Blau, B. Mehta, S. Bose, J. Pekny, G. Sinclair, K. Keunker, and P. Bunch. Risk management in the development of new products in highly regulated industries. Computers and Chemical Engineering, 24:659\u2013664, 2000.","journal-title":"Computers and Chemical Engineering"},{"issue":"3","key":"6_CR4","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1287\/ijoc.10.3.287","volume":"10","author":"A. Bockmayr","year":"1998","unstructured":"A. Bockmayr and T. Kasper. Branch and infer: A unifying framework for integer and finite domain constraint programming. INFORMS Journal on Computing, 10(3):287\u2013300, 1998.","journal-title":"INFORMS Journal on Computing"},{"key":"6_CR5","unstructured":"S. Honkomp, G. Reklaitis, and J. Pekny. Robust planning and scheduling of process development projects under stochastic conditions. Presented at the AICHE annual meeting, Los Angeles, CA, 1997."},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"J. N. Hooker. Logic-Based Methods for Optimization. Wiley-Interscience Series in Discrete Mathematics and Optimization, 2000.","DOI":"10.1002\/9781118033036"},{"issue":"1\u20133","key":"6_CR7","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1016\/S0166-218X(99)00100-6","volume":"96\u201397","author":"J. N. Hooker","year":"1999","unstructured":"J. N. Hooker and M. A. Osorio. Mixed logical\/linear programming. Discrete Applied Mathematics, 96\u201397(1\u20133):395\u2013442, 1999.","journal-title":"Discrete Applied Mathematics"},{"key":"6_CR8","unstructured":"IC-Parc, Imperial College, London. The ECLiPSe Constraint Logic Programming System. \n                    http:\/\/www.icparc.ic.ac.uk\/eclipse\n                    \n                  ."},{"issue":"8","key":"6_CR9","doi-asserted-by":"publisher","first-page":"3013","DOI":"10.1021\/ie9807809","volume":"38","author":"V. Jain","year":"1999","unstructured":"V. Jain and I. Grossmann. Resource-constrained scheduling of tests in new product development. Industrial and Engineering Chemistry Research, 38(8):3013\u20133026, 1999.","journal-title":"Industrial and Engineering Chemistry Research"},{"issue":"10","key":"6_CR10","doi-asserted-by":"publisher","first-page":"3498","DOI":"10.1021\/ie9601099","volume":"35","author":"C. Schmidt","year":"1996","unstructured":"C. Schmidt and I. Grossmann. Optimization models for the scheduling of testing tasks in new product development. Industrial and Engineering Chemistry Research, 35(10):3498\u20133510, 1996.","journal-title":"Industrial and Engineering Chemistry Research"},{"key":"6_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1007\/3-540-45578-7_2","volume-title":"Proceedings of the Seventh International Conference on Principles and Practice of Constraint Programming","author":"E. S. Thorsteinsson","year":"2001","unstructured":"E. S. Thorsteinsson. Branch-and-Check: A hybrid framework integrating mixed integer programming and constraint logic programming. In Toby Walsh, editor, Proceedings of the Seventh International Conference on Principles and Practice of Constraint Programming, volume 2239 of Lecture Notes in Computer Science, pages 16\u201330. Springer-Verlag, November 2001."},{"key":"6_CR12","unstructured":"E. Tsang. Foundations of Constraint Satisfaction. Academic Press, 1993."}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming - CP 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46135-3_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T16:58:32Z","timestamp":1550336312000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46135-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441205","9783540461357"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-46135-3_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2002]]}}}