{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T04:04:41Z","timestamp":1780632281003,"version":"3.54.1"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319449524","type":"print"},{"value":"9783319449531","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-44953-1_4","type":"book-chapter","created":{"date-parts":[[2016,8,22]],"date-time":"2016-08-22T11:12:23Z","timestamp":1471864343000},"page":"49-65","source":"Crossref","is-referenced-by-count":22,"title":["Improved Linearization of Constraint Programming Models"],"prefix":"10.1007","author":[{"given":"Gleb","family":"Belov","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Peter J.","family":"Stuckey","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Guido","family":"Tack","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mark","family":"Wallace","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2016,8,23]]},"reference":[{"key":"4_CR1","unstructured":"A list of constraint languages (2016). http:\/\/www.csplib.org\/Languages\/"},{"key":"4_CR2","series-title":"Springer Optimization and Its Applications","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/978-1-4614-6797-7_2","volume-title":"Nonlinear Optimization Applications Using the GAMS Technology","author":"N Andrei","year":"2013","unstructured":"Andrei, N.: Introduction to GAMS Technology. Nonlinear Optimization Applications Using the GAMS Technology. Springer Optimization and Its Applications, vol. 81, pp. 9\u201323. Springer, New York (2013)"},{"issue":"1","key":"4_CR3","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/s10601-006-9010-8","volume":"12","author":"N Beldiceanu","year":"2007","unstructured":"Beldiceanu, N., Carlsson, M., Demassey, S., Petit, T.: Global constraint catalogue: past, present and future. Constraints 12(1), 21\u201362 (2007)","journal-title":"Constraints"},{"issue":"3","key":"4_CR4","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/s10601-015-9184-z","volume":"20","author":"G Bj\u00f6rdal","year":"2015","unstructured":"Bj\u00f6rdal, G., Monette, J.-N., Flener, P., Pearson, J.: A constraint-based local search backend for MiniZinc. Constraints 20(3), 325\u2013345 (2015)","journal-title":"Constraints"},{"key":"4_CR5","unstructured":"Chu, G.: Improving combinatorial optimization - extended abstract. In: Proceedings of the 23rd International Joint Conference on Artificial Intelligence IJCAI 2013, Beijing, China, pp. 3116\u20133120 (2013)"},{"key":"4_CR6","unstructured":"Chu, G.: Constraint Programming solver Chuffed (2016). https:\/\/github.com\/geoffchu\/chuffed . Accessed 16 Mar 2016"},{"issue":"1","key":"4_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1287\/ijoc.2015.0664","volume":"28","author":"AA Cire","year":"2016","unstructured":"Cire, A.A., Hooker, J.N., Yunes, T.: Modeling with metaconstraints and semantic typing of variables. INFORMS JoC 28(1), 1\u201313 (2016)","journal-title":"INFORMS JoC"},{"key":"4_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/978-3-540-75144-1","volume-title":"Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems","author":"M-C C\u00f4t\u00e9","year":"2007","unstructured":"C\u00f4t\u00e9, M.-C., Gendron, B., Rousseau, L.-M.: Modeling the regular constraint with integer programming. In: Van Hentenryck, P., Wolsey, L.A. (eds.) CPAIOR 2007. LNCS, vol. 4510, pp. 29\u201343. Springer, Heidelberg (2007)"},{"issue":"1","key":"4_CR9","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0167-6377(91)90083-2","volume":"10","author":"M Desrochers","year":"1991","unstructured":"Desrochers, M., Laporte, G.: Improvements and extensions to the Miller-Tucker-Zemlin subtour elimination constraints. Oper. Res. Lett. 10(1), 27\u201336 (1991)","journal-title":"Oper. Res. Lett."},{"issue":"4","key":"4_CR10","doi-asserted-by":"crossref","first-page":"322","DOI":"10.1287\/ijoc.14.4.322.2825","volume":"14","author":"R Fourer","year":"2002","unstructured":"Fourer, R., Gay, D.M.: Extending an algebraic modeling language to support constraint programming. INFORMS J. Comput. 14(4), 322\u2013344 (2002)","journal-title":"INFORMS J. Comput."},{"key":"4_CR11","unstructured":"Gurobi Optimization, Inc. Gurobi Optimizer Reference Manual Version 6.5. Houston, Texas: Gurobi Optimization (2016)"},{"issue":"1","key":"4_CR12","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/j.disopt.2007.10.003","volume":"5","author":"JR Hardin","year":"2008","unstructured":"Hardin, J.R., Nemhauser, G.L., Savelsbergh, M.W.P.: Strong valid inequalities for the resource-constrained scheduling problem with uniform resource requirements. Discrete Optim. 5(1), 19\u201335 (2008)","journal-title":"Discrete Optim."},{"key":"4_CR13","series-title":"International Series in Operations Research & Management Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4614-1900-6","volume-title":"Integrated Methods for Optimization","author":"JN Hooker","year":"2012","unstructured":"Hooker, J.N.: Integrated Methods for Optimization. International Series in Operations Research & Management Science, vol. 170. Springer, US (2012)"},{"key":"4_CR14","unstructured":"IBM Software. IBM ILOG CPLEX optimizer. Data sheet, IBM Corporation (2014)"},{"key":"4_CR15","unstructured":"Koch, T.: Rapid mathematical prototyping. Ph.d. thesis, Technische Universit\u00e4t Berlin (2004)"},{"key":"4_CR16","unstructured":"Leo, K., Tack, G.: Multi-pass high-level presolving. In: International Joint Conference on Artificial Intelligence (IJCAI) (2015)"},{"key":"4_CR17","unstructured":"Linderoth, J., Ralphs, T.: Noncommercial software for mixed-integer linear programming. Technical report, Lehigh University (2004)"},{"issue":"1","key":"4_CR18","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/BF01580665","volume":"10","author":"GP McCormick","year":"1976","unstructured":"McCormick, G.P.: Computability of global solutions to factorable nonconvex programs: Part I - convex underestimating problems. Math. Program. 10(1), 147\u2013175 (1976)","journal-title":"Math. Program."},{"key":"4_CR19","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/BF02022101","volume":"21","author":"K McKinnon","year":"1989","unstructured":"McKinnon, K., Williams, H.: Constructing integer programming models by the predicate calculus. Ann. Oper. Res. 21, 227\u2013245 (1989)","journal-title":"Ann. Oper. Res."},{"issue":"4","key":"4_CR20","doi-asserted-by":"crossref","first-page":"326","DOI":"10.1145\/321043.321046","volume":"7","author":"CE Miller","year":"1960","unstructured":"Miller, C.E., Tucker, A.W., Zemlin, R.A.: Integer programming formulation of traveling salesman problems. J. ACM 7(4), 326\u2013329 (1960)","journal-title":"J. ACM"},{"key":"4_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"529","DOI":"10.1007\/978-3-540-74970-7_38","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2007","author":"N Nethercote","year":"2007","unstructured":"Nethercote, N., Stuckey, P.J., Becket, R., Brand, S., Duck, G.J., Tack, G.R.: MiniZinc: towards a standard CP modelling language. In: Bessi\u00e8re, C. (ed.) CP 2007. LNCS, vol. 4741, pp. 529\u2013543. Springer, Heidelberg (2007)"},{"key":"4_CR22","unstructured":"Opturion Pty Ltd. Opturion CPX user\u2019s guide: version 1.0.2 (2013)"},{"key":"4_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1007\/3-540-45349-0_27","volume-title":"Principles and Practice of Constraint Programming - CP 2000","author":"P Refalo","year":"2000","unstructured":"Refalo, P.: Linear formulation of constraint programming models and hybrid solvers. In: Dechter, R. (ed.) CP 2000. LNCS, vol. 1894, pp. 369\u2013383. Springer, Heidelberg (2000)"},{"key":"4_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1007\/978-3-319-33954-2_24","volume-title":"Integration of AI and OR Techniques in Constraint Programming","author":"D Salvagnin","year":"2016","unstructured":"Salvagnin, D.: Detecting semantic groups in MIP models. In: Quimper, C.-G., Cavallo, M. (eds.) CPAIOR 2016. LNCS, vol. 9676, pp. 329\u2013341. Springer, Heidelberg (2016). doi: 10.1007\/978-3-319-33954-2_24"},{"issue":"3","key":"4_CR25","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1007\/s10601-010-9103-2","volume":"16","author":"A Schutt","year":"2011","unstructured":"Schutt, A., Feydy, T., Stuckey, P.J., Wallace, M.G.: Explaining the cumulative propagator. Constraints 16(3), 250\u2013282 (2011)","journal-title":"Constraints"},{"key":"4_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/978-3-642-23786-7_8","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2011","author":"A Schutt","year":"2011","unstructured":"Schutt, A., Stuckey, P.J., Verden, A.R.: Optimal carpet cutting. In: Lee, J. (ed.) CP 2011. LNCS, vol. 6876, pp. 69\u201384. Springer, Heidelberg (2011)"},{"issue":"3","key":"4_CR27","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1007\/s10601-010-9093-0","volume":"15","author":"PJ Stuckey","year":"2010","unstructured":"Stuckey, P.J., Becket, R., Fischer, J.: Philosophy of the MiniZinc challenge. Constraints 15(3), 307\u2013316 (2010)","journal-title":"Constraints"},{"key":"4_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"268","DOI":"10.1007\/978-3-642-38171-3_18","volume-title":"Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems","author":"PJ Stuckey","year":"2013","unstructured":"Stuckey, P.J., Tack, G.: MiniZinc with functions. In: Gomes, C., Sellmann, M. (eds.) CPAIOR 2013. LNCS, vol. 7874, pp. 268\u2013283. Springer, Heidelberg (2013)"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-44953-1_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T17:07:50Z","timestamp":1498324070000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-44953-1_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319449524","9783319449531"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-44953-1_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]}}}