{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,8]],"date-time":"2025-11-08T17:42:28Z","timestamp":1762623748526},"reference-count":49,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2016,3,18]],"date-time":"2016-03-18T00:00:00Z","timestamp":1458259200000},"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":["Constraints"],"published-print":{"date-parts":[[2017,4]]},"DOI":"10.1007\/s10601-016-9242-1","type":"journal-article","created":{"date-parts":[[2016,3,18]],"date-time":"2016-03-18T19:00:00Z","timestamp":1458327600000},"page":"107-151","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["A microkernel architecture for constraint programming"],"prefix":"10.1007","volume":"22","author":[{"given":"L.","family":"Michel","sequence":"first","affiliation":[]},{"given":"P.","family":"Van Hentenryck","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,3,18]]},"reference":[{"key":"9242_CR1","volume-title":"The 8th International Conference on Logic Programming","author":"A Aggoun","year":"1991","unstructured":"Aggoun, A., & Beldiceanu, N. (1991). An overview of the CHIP compiler. In The 8th International Conference on Logic Programming (ICLP\u201391). Paris: The MIT Press."},{"key":"9242_CR2","unstructured":"Barendregt, H.P. (1984). The lambda calculus \u2013 its syntax and semantics, volume 103 of studies in logic and the foundations of mathematics. North-Holland."},{"key":"9242_CR3","unstructured":"Benhamou, F., Goualard, F., Granvilliers, L., & Puget, J.-F. (1999). Revising hull and box consistency. In ICLP (pp. 230\u2013244)."},{"key":"9242_CR4","unstructured":"Boussemart, F., Hemery, F., & Lecoutre, C. (2004). Revision ordering heuristics for the constraint satisfaction problem. In First international workshop: constraint propagation and implementation."},{"issue":"4","key":"9242_CR5","first-page":"412","volume":"28","author":"A Colmerauer","year":"1990","unstructured":"Colmerauer, A. (1990). An introduction to prolog III. Communications of the ACM, 28(4), 412\u2013418.","journal-title":"Communications of the ACM"},{"key":"9242_CR6","unstructured":"Dincbas, M., Van Hentenryck, P., Simonis, H., Aggoun, A., Graf, T., & Berthier, F. (1988). The constraint logic programming language CHIP. In Proceedings of the international conference on 5th generation computer systems. Tokyo."},{"key":"9242_CR7","unstructured":"Dincbas, M., Van Hentenryck, P., Simonis, H., Aggoun, A., Graf, T., & Berthier, F. (1988). The constraint logic programming language CHIP. In Proceedings of the international conference on 5th-generation computer systems. Tokyo."},{"key":"9242_CR8","doi-asserted-by":"crossref","first-page":"294","DOI":"10.1007\/s10601-008-9063-y","volume":"14","author":"G Dooms","year":"2009","unstructured":"Dooms, G., Hentenryck, P., & Michel, L. (2009). Model-driven visualizations of constraint-based local search. Constraints, 14, 294\u2013324.","journal-title":"Constraints"},{"key":"9242_CR9","doi-asserted-by":"crossref","unstructured":"Fontaine, D., Michel, L., & Van Hentenryck, P. (2013). Model combinators for hybrid optimization. In Schulte, C. (Ed.), Proceedings of the 19th international conference on principles and practice of constraint programming (Vol. 8124, pp. 299\u2013314). Springer Berlin Heidelberg.","DOI":"10.1007\/978-3-642-40627-0_25"},{"key":"9242_CR10","unstructured":"Fontaine, D., & Michel, L. (2012). A high level language for solver independent model manipulation and heneration of hybrid solvers. In Beldiceanu, N., Jussien, N., & Pinson, E. (Eds.), CPAIOR, volume 7298 of lecture notes in computer science (pp. 180\u2013194). Springer."},{"key":"9242_CR11","unstructured":"Gamma, E., Helm, R., Johnson, R., & John, V. (1994). Design patterns: elements of reusable object-oriented software, 1st Edn. Addison-Wesley Professional."},{"key":"9242_CR12","unstructured":"Gent, I.a.n.P., Jefferson, C., & Miguel, I. (2006). Minion: a fast scalable constraint solver. In Proceedings of ECAI 2006, Riva del Garda (pp. 98\u2013102). IOS Press."},{"key":"9242_CR13","doi-asserted-by":"crossref","unstructured":"Gent, I.P., Jefferson, C., & Miguel, I. (2006). Watched literals for constraint propagation in Minion. In Benhamou, F. (Ed.), Principles and practice of constraint programming - CP 2006, volume 4204 of lecture notes in computer science (pp. 182\u2013197). Springer Berlin Heidelberg.","DOI":"10.1007\/11889205_15"},{"issue":"8","key":"9242_CR14","doi-asserted-by":"crossref","first-page":"905","DOI":"10.1002\/spe.4380250805","volume":"25","author":"K Helsgaun","year":"1995","unstructured":"Helsgaun, K. (1995). CBack: a simple tool for backtrack programming in C. Software Practice Experimental, 25(8), 905\u2013934.","journal-title":"Software Practice Experimental"},{"key":"9242_CR15","doi-asserted-by":"crossref","unstructured":"Hentenryck, P.V., & Michel, L. (2013). The objective-CP optimization system. In Schulte, C. (Ed.), Principles and practice of constraint programming - 19th international conference, CP 2013, Uppsala, Sweden, September 16\u201320 proceedings, volume 8124 of lecture notes in computer science (pp. 8\u201329). Springer.","DOI":"10.1007\/978-3-642-40627-0_5"},{"key":"9242_CR16","doi-asserted-by":"crossref","unstructured":"Hooker, J.N. (2000). Logic-based methods for optimization: combining optimization and constraint satisfaction. Wiley.","DOI":"10.1002\/9781118033036"},{"key":"9242_CR17","unstructured":"IBM. Ilog CONCERT technology. http:\/\/eaton.math.rpi.edu\/cplex90html\/refconcert\/index.html ."},{"key":"9242_CR18","unstructured":"Ilog Solver 4.4 (1998). Reference Manual. Ilog SA, Gentilly, France."},{"issue":"3","key":"9242_CR19","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1145\/129393.129398","volume":"14","author":"J Jaffar","year":"1992","unstructured":"Jaffar, J., Michaylov, S., Stuckey, P.J., & Yap, R. (1992). The CLP (R) language and system. ACM Transactions on Programming Languages and Systems, 14(3), 339\u2013395.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"9242_CR20","unstructured":"Jussien, N., Rochart, G., & Lorca, X. (2008). The Choco constraint programming solver. In CPAIOR\u201908 Workshop on Open-Source Software for Integer and Contraint Programming (OSSICP\u201908). OSSICP."},{"key":"9242_CR21","unstructured":"Kuchcinski, K., & Szymanek, R. (2012). Jacop library user\u2019s guide technical report."},{"key":"9242_CR22","doi-asserted-by":"crossref","unstructured":"Laburthe, F., & Caseau, Y. (1998). SALSA: a language for search algorithms. In Fourth international conference on the principles and practice of constraint programming (CP\u201998). Italy.","DOI":"10.1007\/3-540-49481-2_23"},{"key":"9242_CR23","doi-asserted-by":"crossref","unstructured":"Lagerkvist, M.Z., & Schulte, C. (2009). Propagator groups. In Gent, I.P. (Ed.), CP, volume 5732 of lecture notes in computer science (pp. 524\u2013538). Springer.","DOI":"10.1007\/978-3-642-04244-7_42"},{"key":"9242_CR24","doi-asserted-by":"crossref","unstructured":"Michel, L., See, A., & Van Hentenryck, P. (2006). High-Level Nondeterministic Abstractions in C++. In 12th International conference on principles and practice of constraint programming. (CP\u201906), lecture notes in computer science. Nantes.","DOI":"10.1007\/11889205_27"},{"issue":"3","key":"9242_CR25","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1287\/ijoc.1080.0313","volume":"21","author":"L Michel","year":"2009","unstructured":"Michel, L., See, A., & Van Hentenryck, P. (2009). Transparent parallelization of constraint programming. INFORMS Journal on Computing, 21(3), 363\u2013382.","journal-title":"INFORMS Journal on Computing"},{"key":"9242_CR26","unstructured":"Michel, L., & Van Hentenryck, P. (2013). Domain views for constraint programming. In TRICS13: Techniques foR Implementing Constraint programming Systems."},{"issue":"8","key":"9242_CR27","doi-asserted-by":"crossref","first-page":"2357","DOI":"10.1016\/j.cor.2008.08.014","volume":"36","author":"L Michel","year":"2009","unstructured":"Michel, L., See, A., & Hentenryck, P.V. (2009). Parallel and distributed local search in COMET. Computers & Operations Research, 36(8), 2357\u20132375.","journal-title":"Computers & Operations Research"},{"key":"9242_CR28","doi-asserted-by":"crossref","unstructured":"Michel, L., & Hentenryck, P.V. (2012). Activity-based search for black-box constraint programming solvers. In Beldiceanu, N., Jussien, N., & Pinson, R. (Eds.), Integration of AI and OR techniques in constraint programming for combinatorial optimization problems, volume 7298 of lecture notes in computer science (pp. 228\u2013243). Springer Berlin Heidelberg.","DOI":"10.1007\/978-3-642-29828-8_15"},{"key":"9242_CR29","first-page":"530","volume-title":"Proceedings of the 38th annual Design Automation Conference, DAC\u201901","author":"MW Moskewicz","year":"2001","unstructured":"Moskewicz, M.W., Madigan, C.F., Zhao, Y., Zhang, L., & Chaff, S.M. (2001). Engineering an efficient sat solver. In Proceedings of the 38th annual Design Automation Conference, DAC\u201901 (pp. 530\u2013535). New York: ACM."},{"key":"9242_CR30","doi-asserted-by":"crossref","unstructured":"Nethercote, N., Stuckey, P.J., Becket, R., Brand, S., Duck, G.J., & Tack, G. (2007). Minizinc: towards a standard cp modelling language. In Proceedings of the 13th international conference on principles and practice of constraint programming (pp. 529\u2013543). Springer.","DOI":"10.1007\/978-3-540-74970-7_38"},{"key":"9242_CR31","unstructured":"Prud\u2019homme, C., Fages, J.-G., & Lorca, X. (2014). Choco3 Documentation. TASC, INRIA Rennes, LINA CNRS UMR 6241, COSLING S.A.S."},{"key":"9242_CR32","unstructured":"Prud\u2019homme, C., Lorca, X., Douence, R., & Jussien, N. (2013). Propagation engine prototyping with a dsl. In COSpeL: The first workshop on domain specific languages in combinatorial optimization."},{"key":"9242_CR33","doi-asserted-by":"crossref","unstructured":"Refalo, P. (2000). Linear formulation of constraint programming models and hybrid solvers. In Sixth international conference on the principles and practice of constraint programming (CP\u201900) (pp. 369\u2013383). Singapore.","DOI":"10.1007\/3-540-45349-0_27"},{"key":"9242_CR34","doi-asserted-by":"crossref","unstructured":"Refalo, P. (2004). Impact-based search strategies for constraint programming. In Wallace, M. (Ed.), CP, volume 3258 of lecture Notes in computer science (pp. 557\u2013571). Springer.","DOI":"10.1007\/978-3-540-30201-8_41"},{"issue":"2","key":"9242_CR35","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/s10601-012-9137-8","volume":"18","author":"T Schrijvers","year":"2013","unstructured":"Schrijvers, T., Tack, G., Wuille, P., Samulowitz, H., & Stuckey, P.J. (2013). Search combinators. Constraints, 18(2), 269\u2013305.","journal-title":"Constraints"},{"key":"9242_CR36","unstructured":"Schulte, C., Tack, G., & Lagerkvist, M. (2009). Gecode the generic constraint development environment."},{"issue":"1","key":"9242_CR37","doi-asserted-by":"crossref","first-page":"2:1","DOI":"10.1145\/1452044.1452046","volume":"31","author":"C Schulte","year":"2008","unstructured":"Schulte, C., & Stuckey, P.J. (2008). Efficient constraint propagation engines. ACM Transactions on Programming Languages and Systems, 31(1), 2:1\u20132:43.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"9242_CR38","unstructured":"Schulte, C., & Tack, G. (2010). Implementing efficient propagation control. In TRICS 2010, Third workshop on techniques for implementing constraint programming systems."},{"issue":"1","key":"9242_CR39","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/s10601-012-9133-z","volume":"18","author":"C Schulte","year":"2013","unstructured":"Schulte, C., & Tack, G. (2013). View-based propagator derivation. Constraints, 18(1), 75\u2013107.","journal-title":"Constraints"},{"key":"9242_CR40","doi-asserted-by":"crossref","unstructured":"Smolka, G. (1995). The Oz programming model. In Leeuwen, J.V. (Ed.), Computer science today (No. 1000, pp. 324\u2013343). LNCS, Springer Verlag.","DOI":"10.1007\/BFb0015252"},{"key":"9242_CR41","unstructured":"Van Hentenryck, P. (1989). Constraint satisfaction in logic programming. Cambridge: Logic Programming Series, The MIT Press."},{"key":"9242_CR42","unstructured":"Van Hentenryck, P. (1989). Parallel constraint satisfaction in logic programming: preliminary results of CHIP within PEPSys. In Sixth international conference on logic programming. Lisbon."},{"key":"9242_CR43","doi-asserted-by":"crossref","unstructured":"Van Hentenryck, P. (1991). The CLP language CHIP: constraint solving and applications. In COMPCON\u201391. San Francisco.","DOI":"10.1109\/CMPCON.1991.128838"},{"key":"9242_CR44","unstructured":"Van Hentenryck, P. (1999). The OPL optimization programming language. Cambridge, Mass: The MIT Press."},{"key":"9242_CR45","volume-title":"Constraint-based local search","author":"P Van Hentenryck","year":"2005","unstructured":"Van Hentenryck, P. (2005). Constraint-based local search. Cambridge, Mass: The MIT Press."},{"key":"9242_CR46","doi-asserted-by":"crossref","unstructured":"Van Hentenryck, P., & Michel, L. (2005). Nondeterministic control for hybrid search. In Proceedings of the 2nd international conference on the integration of AI and OR techniques in constraint programming for combinatorial optimisation problems (CP-AI-OR\u201904). Prague.","DOI":"10.1007\/11493853_28"},{"key":"9242_CR47","volume-title":"Constraint-based local search","author":"P Van Hentenryck","year":"2009","unstructured":"Van Hentenryck, P., & Michel, L. (2009). Constraint-based local search. Cambridge, Mass: The MIT Press."},{"key":"9242_CR48","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5073.001.0001","volume-title":"Numerica: a modeling language for global optimization","author":"P Van Hentenryck","year":"1997","unstructured":"Van Hentenryck, P., Michel, L., & Deville, Y. (1997). Numerica: a modeling language for global optimization. Cambridge, Mass: The MIT Press."},{"key":"9242_CR49","doi-asserted-by":"crossref","unstructured":"Van Hentenryck, P., Saraswat, V., & Deville, Y. (1995). The design, implementation, and evaluation of the constraint language cc(FD). In Constraint programming: basics and trends. Springer Verlag.","DOI":"10.1007\/3-540-59155-9_15"}],"container-title":["Constraints"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10601-016-9242-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-016-9242-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-016-9242-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-016-9242-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,5]],"date-time":"2019-09-05T18:16:58Z","timestamp":1567707418000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10601-016-9242-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,3,18]]},"references-count":49,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2017,4]]}},"alternative-id":["9242"],"URL":"https:\/\/doi.org\/10.1007\/s10601-016-9242-1","relation":{},"ISSN":["1383-7133","1572-9354"],"issn-type":[{"value":"1383-7133","type":"print"},{"value":"1572-9354","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,3,18]]}}}