{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,11]],"date-time":"2026-07-11T20:58:24Z","timestamp":1783803504270,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540428633","type":"print"},{"value":"9783540455783","type":"electronic"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45578-7_2","type":"book-chapter","created":{"date-parts":[[2007,5,28]],"date-time":"2007-05-28T06:34:25Z","timestamp":1180334065000},"page":"16-30","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":79,"title":["Branch-and-Check: A Hybrid Framework Integrating Mixed Integer Programming and Constraint Logic Programming"],"prefix":"10.1007","author":[{"given":"Erlendur S.","family":"Thorsteinsson","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2001,11,19]]},"reference":[{"key":"2_CR1","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. Numer. Math., 4:238\u2013252, 1962.","journal-title":"Numer. Math."},{"key":"2_CR2","unstructured":"H. Beringer and B. De Backer. Combinatorial problem solving in constraint logic programming with cooperating solvers. In C. Beierle and L. Pl\u00fcmer, editors, Logic Programming: Formal Methods and Practical Applications, Studies in Computer Science and Artificial Intelligence, chapter 8, pages 245\u2013272. Elsevier, 1995."},{"issue":"3","key":"2_CR3","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":"2_CR4","unstructured":"K. Darby-Dowman and J. Little. The significance of constraint logic programming to operational research. Operational Research Tutorial Papers, pages 20\u201345, 1995."},{"issue":"3","key":"2_CR5","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1287\/ijoc.10.3.276","volume":"10","author":"K. Darby-Dowman","year":"1998","unstructured":"K. Darby-Dowman and J. Little. Properties of some combinatorial optimization problems and their effect on the performance of integer programming and constraint logic programming. INFORMS Journal on Computing, 10(3):276\u2013286, Summer 1998.","journal-title":"INFORMS Journal on Computing"},{"key":"2_CR6","unstructured":"I. R. de Farias, E. L. Johnson, and G. L. Nemhauser. A branch-and-cut approach without binary variables to combinatorial optimization problems with continuous variables and combinatorial constraints. Knowledge Engineering Review, special issue on AI\/OR, submitted, 1999."},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"F. Focacci, A. Lodi, and M. Milano. Cutting planes in constraint programming: An hybrid approach. In CP-AI-OR\u201900Workshop on Integration of AI and OR techniques in Constraint Programming for Combinatorial Optimization Problems, March 2000.","DOI":"10.1007\/3-540-45349-0_15"},{"key":"2_CR8","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/BF00934810","volume":"10","author":"A. M. Geoffrion","year":"1972","unstructured":"A. M. Geoffrion. Generalized Benders decomposition. Journal of Optimization theory and Applications, 10:237\u2013260, 1972.","journal-title":"Journal of Optimization theory and Applications"},{"key":"2_CR9","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1016\/S0098-1354(00)00470-1","volume":"24","author":"I. Harjunkoski","year":"2000","unstructured":"I. Harjunkoski, V. Jain, and I. E. Grossmann. Hybrid mixed-integer\/constraint logic programming strategies for solving scheduling and combinatorial optimization problems. Computers and Chemical Engineering, 24:337\u2013343, 2000.","journal-title":"Computers and Chemical Engineering"},{"key":"2_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-58601-6_111","volume-title":"Principles and Practice of Constraint Programming","author":"J. N. Hooker","year":"1994","unstructured":"J. N. Hooker. Logic-based methods for optimization. In Alan Borning, editor, Principles and Practice of Constraint Programming, volume 874 of Lecture Notes in Computer Science. Springer, May 1994. (PPCP\u201994: Second International Workshop, Orcas Island, Seattle, USA)."},{"key":"2_CR11","doi-asserted-by":"publisher","DOI":"10.1002\/9781118033036","volume-title":"Logic-Based Methods for Optimization","author":"J. N. Hooker","year":"2000","unstructured":"J. N. Hooker. Logic-Based Methods for Optimization. Wiley, NewYork, 2000."},{"issue":"1\u20133","key":"2_CR12","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":"2_CR13","unstructured":"John N. Hooker, Hak-Jin Kim, and Greger Ottosson. A declarative modeling framework that integrates solution methods. Annals of Operations Research, Special Issue on Modeling Languages and Approaches, to appear, 1998."},{"key":"2_CR14","unstructured":"John N. Hooker and Greger Ottosson. Logic-based Benders decomposition. Mathematical Programming, 2000. Submitted."},{"key":"2_CR15","unstructured":"John N. Hooker, Greger Ottosson, Erlendur S. Thorsteinsson, and Hak-Jin Kim. On integrating constraint propagation and linear programming for combinatorial optimization. In Proceedings of the Sixteenth National Conference on Artificial Intelligence (AAAI-99), pages 136\u2013141. AAAI, The AAAI Press\/The MIT Press, July 1999."},{"issue":"1","key":"2_CR16","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1017\/S0269888900001077","volume":"15","author":"J. N. Hooker","year":"2000","unstructured":"John N. Hooker, Greger Ottosson, Erlendur S. Thorsteinsson, and Hak-Jin Kim. Ascheme for unifying optimization and constraint satisfaction methods. Knowledge Engineering Review, Special Issue on Artifical Intelligence and Operations Research, 15(1):11\u201330, 2000.","journal-title":"Knowledge Engineering Review"},{"key":"2_CR17","unstructured":"John N. Hooker and Hong Yan. Logic circuit verification by Benders decomposition. In V. Saraswat and P. Van Hentenryck, editors, Principles and Practice of Constraint Programming: The Newport Papers, pages 267\u2013288. MIT Press, 1995."},{"key":"2_CR18","unstructured":"V. Jain and I. E. Grossmann. Algorithms for hybrid MILP\/CP models for a class of optimization problems. INFORMS, 2000. Presented at INFORMS Salt Lake City, paper SD32.1."},{"issue":"1","key":"2_CR19","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1287\/ijoc.1.1.7","volume":"1","author":"R. G. Jeroslow","year":"1988","unstructured":"R. G. Jeroslow and J. Wang. Dynamic programming, integral polyhedra, and horn clause knowledge bases. ORSA Journal on Computing, 1(1):7\u201319, 1988.","journal-title":"ORSA Journal on Computing"},{"key":"2_CR20","unstructured":"Michela Milano, Greger Ottosson, Philippe Refalo, and Erlendur S. Thorsteinsson. Global constraints: When constraint programming meets operation research. INFORMS Journal on Computing, Special Issue on the Merging of Mathematical Programming and Constraint Programming, March 2001. Submitted."},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"Greger Ottosson, Erlendur S. Thorsteinsson, and John N. Hooker. Mixed global constraints and inference in hybrid CLP-IP solvers. Annals of Mathematics and Artificial Intelligence, Special Issue on Large Scale Combinatorial Optimisation and Constraints, March 2001. Accepted for publication.","DOI":"10.1016\/S1571-0653(05)80104-0"},{"key":"2_CR22","series-title":"Lect Notes Comput Sci","volume-title":"Principles and Practice of Constraint Programming","author":"P. Refalo","year":"1999","unstructured":"Philippe Refalo. Tight cooperation and its application in piecewise linear optimization. In Joxan Jaffar, editor, Principles and Practice of Constraint Programming, volume 1713 of Lecture Notes in Computer Science. Springer, October 1999."},{"key":"2_CR23","first-page":"63","volume":"86","author":"R. Rodo\u0161ek","year":"1999","unstructured":"Robert Rodo\u0161ek, Mark Wallace, and Mozafar Hajian. A new approach to integrating mixed integer programming and constraint logic programming. Annals of Operations Research, Advances in Combinatorial Optimization, 86:63\u201387, 1999.","journal-title":"Annals of Operations Research, Advances in Combinatorial Optimization"},{"key":"2_CR24","unstructured":"Erlendur S. Thorsteinsson and Greger Ottosson. Linear relaxations and reduced-cost based propagation of continuous variable subscripts. Annals of Operations Research, Special Issue on Integration of Constraint Programming, Artificial Intelligence and Operations Research Methods, January 2001. Submitted."},{"key":"2_CR25","unstructured":"P. Van Hentenryck. The OPL Optimization Programming Language. MIT Press, 1999."}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2014 CP 2001"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45578-7_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,30]],"date-time":"2020-03-30T21:09:06Z","timestamp":1585602546000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45578-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540428633","9783540455783"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-45578-7_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"19 November 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}