{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T02:07:36Z","timestamp":1743127656224,"version":"3.40.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319232188"},{"type":"electronic","value":"9783319232195"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-23219-5_22","type":"book-chapter","created":{"date-parts":[[2015,8,12]],"date-time":"2015-08-12T10:17:33Z","timestamp":1439374653000},"page":"313-329","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Automated Auxiliary Variable Elimination Through On-the-Fly Propagator Generation"],"prefix":"10.1007","author":[{"given":"Jean-No\u00ebl","family":"Monette","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre","family":"Flener","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Justin","family":"Pearson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,8,13]]},"reference":[{"key":"22_CR1","unstructured":"Becket, R.: Specification of FlatZinc. http:\/\/www.minizinc.org\/downloads\/doc-1.6\/flatzinc-spec.pdf"},{"issue":"1","key":"22_CR2","doi-asserted-by":"publisher","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). The catalogue is at http:\/\/sofdem.github.io\/gccat","journal-title":"Constraints"},{"issue":"4","key":"22_CR3","doi-asserted-by":"publisher","first-page":"579","DOI":"10.1007\/s10601-013-9140-8","volume":"18","author":"M Correia","year":"2013","unstructured":"Correia, M., Barahona, P.: View-based propagation of decomposable constraints. Constraints 18(4), 579\u2013608 (2013)","journal-title":"Constraints"},{"key":"22_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1007\/3-540-46135-3_36","volume-title":"Principles and Practice of Constraint Programming - CP 2002","author":"TBH Dao","year":"2002","unstructured":"Dao, T.B.H., Lallouet, A., Legtchenko, A., Martin, L.: Indexical-based solver learning. In: Van Hentenryck, P. (ed.) CP 2002. LNCS, vol. 2470, pp. 541\u2013555. Springer, Heidelberg (2002)"},{"key":"22_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/978-3-642-23786-7_23","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2011","author":"T Feydy","year":"2011","unstructured":"Feydy, T., Somogyi, Z., Stuckey, P.J.: Half reification and flattening. In: Lee, J. (ed.) CP 2011. LNCS, vol. 6876, pp. 286\u2013301. Springer, Heidelberg (2011)"},{"key":"22_CR6","unstructured":"Frisch, A.M., Grum, M., Jefferson, C., Martinez Hernandez, B., Miguel, I.: The design of ESSENCE: a constraint language for specifying combinatorial problems. In: IJCAI 2007, pp. 80\u201387. Morgan Kaufmann (2007)"},{"key":"22_CR7","unstructured":"Gecode Team: Gecode: A generic constraint development environment (2006). http:\/\/www.gecode.org"},{"key":"22_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artint.2014.03.001","volume":"211","author":"IP Gent","year":"2014","unstructured":"Gent, I.P., Jefferson, C., Linton, S., Miguel, I., Nightingale, P.: Generating custom propagators for arbitrary constraints. Artificial Intelligence 211, 1\u201333 (2014)","journal-title":"Artificial Intelligence"},{"key":"22_CR9","unstructured":"Hassani Bijarbooneh, F.: Constraint Programming for Wireless Sensor Networks. Ph.D. thesis, Department of Information Technology, Uppsala University, Sweden (2015). http:\/\/urn.kb.se\/resolve?urn=urn:nbn:se:uu:diva-241378"},{"key":"22_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"432","DOI":"10.1007\/978-3-642-40627-0_34","volume-title":"Principles and Practice of Constraint Programming","author":"K Leo","year":"2013","unstructured":"Leo, K., Mears, C., Tack, G., Garcia de la Banda, M.: Globalizing constraint models. In: Schulte, C. (ed.) CP 2013. LNCS, vol. 8124, pp. 432\u2013447. Springer, Heidelberg (2013)"},{"key":"22_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"544","DOI":"10.1007\/978-3-642-33558-7_40","volume-title":"Principles and Practice of Constraint Programming","author":"J-N Monette","year":"2012","unstructured":"Monette, J.-N., Flener, P., Pearson, J.: Towards solver-independent propagators. In: Milano, M. (ed.) CP 2012. LNCS, vol. 7514, pp. 544\u2013560. Springer, Heidelberg (2012)"},{"key":"22_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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.: MiniZinc: towards a standard CP modelling language. In: Bessi\u00e8re, C. (ed.) CP 2007. LNCS, vol. 4741, pp. 529\u2013543. Springer, Heidelberg (2007). The MiniZinc toolchain is available at http:\/\/www.minizinc.org"},{"key":"22_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"590","DOI":"10.1007\/978-3-319-10428-7_43","volume-title":"Principles and Practice of Constraint Programming","author":"P Nightingale","year":"2014","unstructured":"Nightingale, P., Akg\u00fcn, \u00d6., Gent, I.P., Jefferson, C., Miguel, I.: Automatically improving constraint models in savile row through associative-commutative common subexpression elimination. In: O\u2019Sullivan, B. (ed.) CP 2014. LNCS, vol. 8656, pp. 590\u2013605. Springer, Heidelberg (2014)"},{"key":"22_CR14","unstructured":"Rendl, A., Miguel, I., Gent, I.P., Jefferson, C.: Automatically enhancing constraint model instances during tailoring. In: Bulitko, V., Beck, J.C. (eds.) SARA 2009. AAAI Press (2009)"},{"key":"22_CR15","unstructured":"Roussel, O., Lecoutre, C.: XML representation of constraint networks: Format XCSP 2.1. CoRR abs\/0902.2362 (2009). http:\/\/arxiv.org\/abs\/0902.2362"},{"issue":"1","key":"22_CR16","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/s10601-012-9133-z","volume":"18","author":"C Schulte","year":"2013","unstructured":"Schulte, C., Tack, G.: View-based propagator derivation. Constraints 18(1), 75\u2013107 (2013)","journal-title":"Constraints"},{"key":"22_CR17","unstructured":"Scott, J.D.: Rapid prototyping of a structured domain through indexical compilation. In: Schaus, P., Monette, J.N. (eds.) Domain Specific Languages in Combinatorial Optimisation (CoSpeL workshop at CP 2013) (2013). http:\/\/cp2013.a4cp.org\/workshops\/cospel"},{"key":"22_CR18","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1007\/BF00283135","volume":"17","author":"G Sidebottom","year":"1996","unstructured":"Sidebottom, G., Havens, W.S.: Nicolog: A simple yet powerful cc(FD) language. Journal of Automated Reasoning 17, 371\u2013403 (1996)","journal-title":"Journal of Automated Reasoning"},{"key":"22_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"705","DOI":"10.1007\/978-3-319-10428-7_51","volume-title":"Principles and Practice of Constraint Programming","author":"P Van Hentenryck","year":"2014","unstructured":"Van Hentenryck, P., Michel, L.: Domain views for constraint programming. In: O\u2019Sullivan, B. (ed.) CP 2014. LNCS, vol. 8656, pp. 705\u2013720. Springer, Heidelberg (2014)"},{"key":"22_CR20","doi-asserted-by":"crossref","unstructured":"Van Hentenryck, P., Saraswat, V., Deville, Y.: Design, implementation, and evaluation of the constraint language cc(FD). Tech. Rep. CS-93-02, Brown University, Providence, USA (January 1993), revised version in Journal of Logic Programming 37(1\u20133), 293\u2013316 (1998). Based on the unpublished manuscript Constraint Processing in cc(FD) (1991)","DOI":"10.1016\/S0743-1066(98)10006-7"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23219-5_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,20]],"date-time":"2023-01-20T21:59:43Z","timestamp":1674251983000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-23219-5_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319232188","9783319232195"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23219-5_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"13 August 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}