{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T15:22:43Z","timestamp":1725895363284},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642335570"},{"type":"electronic","value":"9783642335587"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33558-7_40","type":"book-chapter","created":{"date-parts":[[2012,10,2]],"date-time":"2012-10-02T22:32:47Z","timestamp":1349217167000},"page":"544-560","source":"Crossref","is-referenced-by-count":8,"title":["Towards Solver-Independent Propagators"],"prefix":"10.1007","author":[{"given":"Jean-No\u00ebl","family":"Monette","sequence":"first","affiliation":[]},{"given":"Pierre","family":"Flener","sequence":"additional","affiliation":[]},{"given":"Justin","family":"Pearson","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"40_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s12532-008-0001-1","volume":"1","author":"T. Achterberg","year":"2009","unstructured":"Achterberg, T.: SCIP: Solving constraint integer programs. Mathematical Programming Computation\u00a01, 1\u201341 (2009)","journal-title":"Mathematical Programming Computation"},{"key":"40_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"665","DOI":"10.1007\/11889205_47","volume-title":"Principles and Practice of Constraint Programming - CP 2006","author":"M. \u00c5gren","year":"2006","unstructured":"\u00c5gren, M., Flener, P., Pearson, J.: Inferring Variable Conflicts for Local Search. In: Benhamou, F. (ed.) CP 2006. LNCS, vol.\u00a04204, pp. 665\u2013669. Springer, Heidelberg (2006)"},{"key":"40_CR3","unstructured":"Beldiceanu, N., Carlsson, M., Flener, P., Pearson, J.: On the reification of global constraints. Tech. Rep. T2012:02, Swedish Institute of Computer Science (February 2012), \n \n http:\/\/soda.swedish-ict.se\/view\/sicsreport\/"},{"key":"40_CR4","unstructured":"Beldiceanu, N., Carlsson, M., Rampon, J.X.: Global constraint catalog, 2nd edn. (revision\u00a0a). Tech. Rep. T2012:03, Swedish Institute of Computer Science (February 2012), \n \n http:\/\/soda.swedish-ict.se\/view\/sicsreport\/"},{"key":"40_CR5","unstructured":"Carlson, B., Carlsson, M., Diaz, D.: Entailment of finite domain constraints. In: Proceedings of ICLP 1994, pp. 339\u2013353. MIT Press (1994)"},{"key":"40_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/BFb0033845","volume-title":"Programming Languages: Implementations, Logics, and Programs","author":"M. Carlsson","year":"1997","unstructured":"Carlsson, M., Ottosson, G., Carlson, B.: An Open-Ended Finite Domain Constraint Solver. In: Glaser, H., Hartel, P., Kuchen, H. (eds.) PLILP 1997. LNCS, vol.\u00a01292, pp. 191\u2013206. Springer, Heidelberg (1997)"},{"key":"40_CR7","unstructured":"CHOCO: An open source Java CP library, \n \n http:\/\/www.emn.fr\/z-info\/choco-solver\/"},{"key":"40_CR8","doi-asserted-by":"crossref","unstructured":"Choi, C.W., Lee, J.H.M., Stuckey, P.J.: Removing propagation redundant constraints in redundant modeling. ACM Transactions on Computational Logic 8(4) (2007)","DOI":"10.1145\/1276920.1276925"},{"key":"40_CR9","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":"T.B.H. 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.\u00a02470, pp. 541\u2013555. Springer, Heidelberg (2002)"},{"key":"40_CR10","unstructured":"Dynadec, Dynamic Decision Technologies Inc.: Comet tutorial, v2.0 (2009), \n \n http:\/\/dynadec.com\/"},{"issue":"1-3","key":"40_CR11","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/S0743-1066(98)10005-5","volume":"37","author":"T.W. Fr\u00fchwirth","year":"1998","unstructured":"Fr\u00fchwirth, T.W.: Theory and practice of constraint handling rules. Journal of Logic Programming\u00a037(1-3), 95\u2013138 (1998)","journal-title":"Journal of Logic Programming"},{"key":"40_CR12","unstructured":"Gecode Team: Gecode: A generic constraint development environment (2006), \n \n http:\/\/www.gecode.org\/"},{"key":"40_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/11889205_15","volume-title":"Principles and Practice of Constraint Programming - CP 2006","author":"I.P. Gent","year":"2006","unstructured":"Gent, I.P., Jefferson, C., Miguel, I.: Watched Literals for Constraint Propagation in Minion. In: Benhamou, F. (ed.) CP 2006. LNCS, vol.\u00a04204, pp. 182\u2013197. Springer, Heidelberg (2006)"},{"key":"40_CR14","unstructured":"JaCoP: Java constraint programming solver, \n \n http:\/\/jacop.osolpro.com\/"},{"key":"40_CR15","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/0004-3702(86)90083-4","volume":"28","author":"R. Mohr","year":"1986","unstructured":"Mohr, R., Henderson, T.: Arc and path consistency revisited. Artificial Intelligence\u00a028, 225\u2013233 (1986)","journal-title":"Artificial Intelligence"},{"key":"40_CR16","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/s10601-008-9064-x","volume":"14","author":"O. Ohrimenko","year":"2009","unstructured":"Ohrimenko, O., Stuckey, P., Codish, M.: Propagation via lazy clause generation. Constraints\u00a014, 357\u2013391 (2009)","journal-title":"Constraints"},{"key":"40_CR17","doi-asserted-by":"crossref","unstructured":"Parr, T.J.: Enforcing strict model-view separation in template engines. In: Proceedings of the 13th International Conference on the World Wide Web, pp. 224\u2013233. ACM (2004)","DOI":"10.1145\/988672.988703"},{"key":"40_CR18","unstructured":"Parr, T.J.: The Definitive ANTLR Reference: Building Domain-Specific Languages. The Pragmatic Bookshelf (2007)"},{"key":"40_CR19","unstructured":"R\u00e9gin, J.C.: A filtering algorithm for constraints of difference in CSPs. In: Hayes-Roth, B., Korf, R.E. (eds.) Proceedings of AAAI 1994, pp. 362\u2013367. AAAI Press (1994)"},{"key":"40_CR20","unstructured":"Richaud, G., Lorca, X., Jussien, N.: A portable and efficient implementation of global constraints: The tree constraint case. In: Proceedings of CICLOPS 2007, pp. 44\u201356 (2007)"},{"key":"40_CR21","unstructured":"Scampi (2011), \n \n https:\/\/bitbucket.org\/pschaus\/scampi\/"},{"key":"40_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"619","DOI":"10.1007\/978-3-540-30201-8_45","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2004","author":"C. Schulte","year":"2004","unstructured":"Schulte, C., Stuckey, P.J.: Speeding Up Constraint Propagation. In: Wallace, M. (ed.) CP 2004. LNCS, vol.\u00a03258, pp. 619\u2013633. Springer, Heidelberg (2004)"},{"key":"40_CR23","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\u00a017, 371\u2013403 (1996)","journal-title":"Journal of Automated Reasoning"},{"key":"40_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"575","DOI":"10.1007\/11889205_41","volume-title":"Principles and Practice of Constraint Programming - CP 2006","author":"G. Tack","year":"2006","unstructured":"Tack, G., Schulte, C., Smolka, G.: Generating Propagators for Finite Set Constraints. In: Benhamou, F. (ed.) CP 2006. LNCS, vol.\u00a04204, pp. 575\u2013589. Springer, Heidelberg (2006)"},{"key":"40_CR25","unstructured":"Van Hentenryck, P., Deville, Y.: The cardinality operator: A new logical connective for constraint logic programming. In: Proceedings of ICLP 1991, pp. 745\u2013759 (1991)"},{"key":"40_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"604","DOI":"10.1007\/11889205_43","volume-title":"Principles and Practice of Constraint Programming - CP 2006","author":"P. Hentenryck Van","year":"2006","unstructured":"Van Hentenryck, P., Michel, L.: Differentiable Invariants. In: Benhamou, F. (ed.) CP 2006. LNCS, vol.\u00a04204, pp. 604\u2013619. Springer, Heidelberg (2006)"},{"key":"40_CR27","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-3), 293\u2013316 (1998). Based on the unpublished manuscript Constraint Processing in cc(FD) (1991)","DOI":"10.1016\/S0743-1066(98)10006-7"},{"key":"40_CR28","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1017\/S1471068405002590","volume":"6","author":"N.F. Zhou","year":"2006","unstructured":"Zhou, N.F.: Programming finite-domain constraint propagators in action rules. Theory and Practice of Logic Programming\u00a06, 483\u2013507 (2006)","journal-title":"Theory and Practice of Logic Programming"}],"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-642-33558-7_40","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,7]],"date-time":"2019-05-07T23:27:52Z","timestamp":1557271672000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33558-7_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642335570","9783642335587"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33558-7_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}