{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,11]],"date-time":"2026-01-11T20:22:41Z","timestamp":1768162961853,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540922421","type":"print"},{"value":"9783540922438","type":"electronic"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-92243-8_2","type":"book-chapter","created":{"date-parts":[[2009,3,25]],"date-time":"2009-03-25T11:02:36Z","timestamp":1237978956000},"page":"16-47","source":"Crossref","is-referenced-by-count":5,"title":["A Flexible Search Framework for CHR"],"prefix":"10.1007","author":[{"given":"Leslie","family":"De Koninck","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom","family":"Schrijvers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bart","family":"Demoen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/BFb0017444","volume-title":"Principles and Practice of Constraint Programming - CP97","author":"S. Abdennadher","year":"1997","unstructured":"Abdennadher, S.: Operational semantics and confluence of constraint propagation rules. In: Smolka, G. (ed.) CP 1997. LNCS, vol.\u00a01330, pp. 252\u2013266. Springer, Heidelberg (1997)"},{"key":"2_CR2","unstructured":"Abdennadher, S.: A language for experimenting with declarative paradigms. In: 2nd Workshop on Rule-Based Constraint Reasoning and Programming (2000)"},{"key":"2_CR3","unstructured":"Abdennadher, S.: Rule Based Constraint Programming: Theory and Practice. Habilitation, Institut f\u00fcr Informatik, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen (2001)"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Abdennadher, S., Kr\u00e4mer, E., Saft, M., Schmauss, M.: JACK: A Java constraint kit. Electronic Notes in Theoretical Computer Science, vol.\u00a064 (2002)","DOI":"10.1016\/S1571-0661(04)80344-X"},{"key":"2_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0055987","volume-title":"Flexible Query Answering Systems","author":"S. Abdennadher","year":"1998","unstructured":"Abdennadher, S., Sch\u00fctz, H.: CHR\u2009\u2228\u2009: A flexible query language. In: Andreasen, T., Christiansen, H., Larsen, H.L. (eds.) FQAS 1998. LNCS, vol.\u00a01495, pp. 1\u201314. Springer, Heidelberg (1998)"},{"issue":"3","key":"2_CR6","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1017\/S1471068403001893","volume":"4","author":"M. Bruynooghe","year":"2004","unstructured":"Bruynooghe, M.: Enhancing a search algorithm to perform intelligent backtracking. Theory and Practice of Logic Programming\u00a04(3), 371\u2013380 (2004)","journal-title":"Theory and Practice of Logic Programming"},{"key":"2_CR7","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.H., Kuchen, H. (eds.) PLILP 1997. LNCS, vol.\u00a01292, pp. 191\u2013206. Springer, Heidelberg (1997)"},{"key":"2_CR8","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1613\/jair.788","volume":"14","author":"X. Chen","year":"2001","unstructured":"Chen, X., van Beek, P.: Conflict directed backjumping revisited. Journal of Artificial Intelligence Research\u00a014, 53\u201381 (2001)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"2_CR9","unstructured":"De Koninck, L., Schrijvers, T., Demoen, B.: Search strategies in CHR (Prolog). In: Schrijvers, T., Fr\u00fchwirth, T. (eds.) 3rd Workshop on Constraint Handling Rules, Report CW 452, pp. 109\u2013123. Dept. of Computer Science, K.U.Leuven (2006)"},{"key":"2_CR10","volume-title":"9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming","author":"L. Koninck De","year":"2007","unstructured":"De Koninck, L., Schrijvers, T., Demoen, B.: User-definable rule priorities for CHR. In: Leuschel, M., Podelski, A. (eds.) 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming. ACM Press, New York (2007)"},{"key":"2_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1007\/978-3-540-27775-0_7","volume-title":"Logic Programming","author":"G.J. Duck","year":"2004","unstructured":"Duck, G.J., Stuckey, P.J., Garc\u00eda de la Banda, M., Holzbaur, C.: The refined operational semantics of Constraint Handling Rules. In: Demoen, B., Lifschitz, V. (eds.) ICLP 2004. LNCS, vol.\u00a03132, pp. 90\u2013104. Springer, Heidelberg (2004)"},{"issue":"1-3","key":"2_CR12","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/S0743-1066(98)10005-5","volume":"37","author":"T. Fr\u00fchwirth","year":"1998","unstructured":"Fr\u00fchwirth, T.: Theory and practice of Constraint Handling Rules. Journal of Logic Programming\u00a037(1-3), 95\u2013138 (1998)","journal-title":"Journal of Logic Programming"},{"key":"2_CR13","series-title":"Foundations of Artificial Intelligence","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1016\/S1574-6526(06)80017-9","volume-title":"Handbook of Constraint Programming","author":"T. Fr\u00fchwirth","year":"2006","unstructured":"Fr\u00fchwirth, T., Michel, L., Schulte, C.: Constraints in procedural and concurrent languages. In: Rossi, F., van Beek, P., Walsh, T. (eds.) Handbook of Constraint Programming. Foundations of Artificial Intelligence, ch.\u00a013, pp. 453\u2013494. Elsevier Science Publishers, Amsterdam (2006)"},{"key":"2_CR14","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1613\/jair.1","volume":"1","author":"M.L. Ginsberg","year":"1993","unstructured":"Ginsberg, M.L.: Dynamic backtracking. Journal of Artificial Intelligence Research\u00a01, 25\u201346 (1993)","journal-title":"Journal of Artificial Intelligence Research"},{"issue":"2","key":"2_CR15","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1016\/0004-3702(92)90059-7","volume":"55","author":"M.L. Ginsberg","year":"1992","unstructured":"Ginsberg, M.L., Harvey, W.D.: Iterative broadening. Artificial Intelligence\u00a055(2), 367\u2013383 (1992)","journal-title":"Artificial Intelligence"},{"key":"2_CR16","unstructured":"Hanus, M.: Adding Constraint Handling Rules to Curry. In: Fink, M., Tompits, H., Woltran, S. (eds.) 20th Workshop on Logic Programming, INFSYS Research Report 1843-06-02, pp. 81\u201390. TU Wien (2006)"},{"key":"2_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1007\/BFb0056627","volume-title":"10th International Symposium on Programming Language Implementation and Logic Programming \/ 7th International Conference on Algebraic and Logic Programming","author":"M. Hanus","year":"1998","unstructured":"Hanus, M., Steiner, F.: Controlling search in declarative programs. In: Palamidessi, C., Glaser, H., Meinke, K. (eds.) ALP 1998 and PLILP 1998. LNCS, vol.\u00a01490, pp. 374\u2013390. Springer, Heidelberg (1998)"},{"issue":"2","key":"2_CR18","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1109\/TSSC.1968.300136","volume":"4","author":"P.E. Hart","year":"1968","unstructured":"Hart, P.E., Nilsson, N.J., Raphael, B.: A formal basis for the heuristic determination of minimum cost paths. IEEE Transactions on Systems Science and Cybernetics\u00a04(2), 100\u2013107 (1968)","journal-title":"IEEE Transactions on Systems Science and Cybernetics"},{"key":"2_CR19","first-page":"607","volume-title":"14th International Joint Conference on Artificial Intelligence","author":"W.D. Harvey","year":"1995","unstructured":"Harvey, W.D., Ginsberg, M.L.: Limited discrepancy search. In: 14th International Joint Conference on Artificial Intelligence, vol.\u00a01, pp. 607\u2013615. Morgan Kaufmann, San Francisco (1995)"},{"key":"2_CR20","unstructured":"Hermenegildo, M.V., Bueno, F., Cabeza, D., Carro, M., Garc\u00eda de la Banda, M.J., L\u00f3pez-Garc\u00eda, P., Puebla, G.: The CIAO multi-dialect compiler and system: An experimentation workbench for future (C)LP systems. In: Lucio, P., Martelli, M., Navarro, M. (eds.) 1996 Joint Conference on Declarative Programming, APPIA-GULP-PRODE, pp. 105\u2013110 (1996)"},{"issue":"1","key":"2_CR21","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0004-3702(85)90084-0","volume":"27","author":"R.E. Korf","year":"1985","unstructured":"Korf, R.E.: Depth-first iterative-deepening: An optimal admissible tree search. Artificial Intelligence\u00a027(1), 97\u2013109 (1985)","journal-title":"Artificial Intelligence"},{"key":"2_CR22","unstructured":"Menezes, L., Vitorino, J., Aurelio, M.: A high performance CHR\u2009\u2228\u2009 execution engine. In: Schrijvers, T., Fr\u00fchwirth, T. (eds.) 2nd Workshop on Constraint Handling Rules, Report CW 421, pp. 35\u201345. Dept. of Computer Science, K.U.Leuven (2005)"},{"key":"2_CR23","unstructured":"M\u00fcller, H.: Static and dynamic variable sorting strategies for backtracking-based search algorithms. In: Wolf, A., Fr\u00fchwirth, T.W., Meister, M. (eds.) 19th Workshop on (Constraint) Logic Programming. Ulmer Informatik-Berichte, vol.\u00a02005-01, pp. 99\u2013110 (2005)"},{"key":"2_CR24","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1111\/j.1467-8640.1993.tb00310.x","volume":"9","author":"P. Prosser","year":"1993","unstructured":"Prosser, P.: Hybrid algorithms for the constraint satisfaction problem. Computational Intelligence\u00a09, 268\u2013299 (1993)","journal-title":"Computational Intelligence"},{"issue":"6","key":"2_CR25","first-page":"701","volume":"13","author":"J. Robin","year":"2007","unstructured":"Robin, J., Vitorino, J., Wolf, A.: Constraint programming architectures: Review and a new proposal. Journal of Universal Computer Science\u00a013(6), 701\u2013720 (2007)","journal-title":"Journal of Universal Computer Science"},{"key":"2_CR26","unstructured":"Schrijvers, T., Demoen, B.: The K.U.Leuven CHR system: implementation and application. In: Fr\u00fchwirth, T., Meister, M. (eds.) First Workshop on Constraint Handling Rules: Selected Contributions. Ulmer Informatik-Berichte, vol.\u00a02004-01, pp. 1\u20135. Universit\u00e4t Ulm (2004)"},{"key":"2_CR27","first-page":"275","volume-title":"1999 International Conference on Logic Programming","author":"C. Schulte","year":"1999","unstructured":"Schulte, C.: Comparing trailing and copying for constraint programming. In: De Schreye, D. (ed.) 1999 International Conference on Logic Programming, pp. 275\u2013289. MIT Press, Cambridge (1999)"},{"key":"2_CR28","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1016\/S1574-6526(06)80018-0","volume-title":"Handbook of Constraint Programming, Foundations of Artificial Intelligence","author":"C. Schulte","year":"2006","unstructured":"Schulte, C., Carlsson, M.: Finite domain constraint programming systems. In: Rossi, F., van Beek, P., Walsh, T. (eds.) Handbook of Constraint Programming, Foundations of Artificial Intelligence, ch.\u00a014, pp. 495\u2013526. Elsevier Science Publishers, Amsterdam (2006)"},{"key":"2_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/3-540-58601-6_96","volume-title":"Principles and Practice of Constraint Programming","author":"C. Schulte","year":"1994","unstructured":"Schulte, C., Smolka, G., W\u00fcrtz, J.: Encapsulated search and constraint programming in Oz. In: Borning, A. (ed.) PPCP 1994. LNCS, vol.\u00a0874, pp. 134\u2013150. Springer, Heidelberg (1994)"},{"key":"2_CR30","unstructured":"Smith, B.M., Sturdy, P.: Value ordering for finding all solutions. In: Kaelbling, L.P., Saffiotti, A. (eds.) 19th International Joint Conference on Artificial Intelligence, pp. 311\u2013316. Professional Book Center (2005)"},{"issue":"1-3","key":"2_CR31","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/S0743-1066(96)00068-4","volume":"29","author":"Z. Somogyi","year":"1996","unstructured":"Somogyi, Z., Henderson, F., Conway, T.: The execution algorithm of Mercury, an efficient purely declarative logic programming language. Journal of Logic Programming\u00a029(1-3), 17\u201364 (1996)","journal-title":"Journal of Logic Programming"},{"issue":"2","key":"2_CR32","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1145\/359496.359529","volume":"1","author":"P. Hentenryck van","year":"2000","unstructured":"van Hentenryck, P., Perron, L., Puget, J.-F.: Search and strategies in OPL. Transactions on Computational Logic\u00a01(2), 285\u2013320 (2000)","journal-title":"Transactions on Computational Logic"},{"key":"2_CR33","first-page":"47","volume-title":"2nd Workshop on Constraint Handling Rules, Report CW 421","author":"P. Weert Van","year":"2005","unstructured":"Van Weert, P., Schrijvers, T., Demoen, B.: K.U.Leuven JCHR: A user-friendly, flexible and efficient CHR system for Java. In: Schrijvers, T., Fr\u00fchwirth, T. (eds.) 2nd Workshop on Constraint Handling Rules, Report CW 421, pp. 47\u201362. Dept. of Computer Science, K.U.Leuven (2005)"},{"issue":"1","key":"2_CR34","first-page":"159","volume":"12","author":"M. Wallace","year":"1997","unstructured":"Wallace, M., Novello, S., Schimpf, J.: ECL i PS e : A platform for constraint logic programming. ICL Systems Journal\u00a012(1), 159\u2013200 (1997)","journal-title":"ICL Systems Journal"},{"key":"2_CR35","first-page":"1388","volume-title":"15th International Joint Conference on Artificial Intelligence","author":"T. Walsh","year":"1997","unstructured":"Walsh, T.: Depth-bounded discrepancy search. In: 15th International Joint Conference on Artificial Intelligence, vol.\u00a02, pp. 1388\u20131395. Morgan Kaufmann, San Francisco (1997)"},{"issue":"4-5","key":"2_CR36","doi-asserted-by":"publisher","first-page":"567","DOI":"10.1017\/S1471068405002383","volume":"5","author":"A. Wolf","year":"2005","unstructured":"Wolf, A.: Intelligent search strategies based on adaptive Constraint Handling Rules. Theory and Practice of Logic Programming\u00a05(4-5), 567\u2013594 (2005)","journal-title":"Theory and Practice of Logic Programming"},{"issue":"4","key":"2_CR37","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1080\/088395100117052","volume":"14","author":"A. Wolf","year":"2000","unstructured":"Wolf, A., Gruenhagen, T., Geske, U.: On the incremental adaptation of CHR derivations. Applied Artificial Intelligence\u00a014(4), 389\u2013416 (2000)","journal-title":"Applied Artificial Intelligence"},{"key":"2_CR38","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-540-92243-8_3","volume-title":"Constraint Handling Rules","author":"A. Wolf","year":"2008","unstructured":"Wolf, A., Robin, J., Vitorino, J.: Adaptive CHR meets CHR\u2009\u2228\u2009: An extended refined operational semantics for CHR\u2009\u2228\u2009 based on justifications. In: Schrijvers, T., Fr\u00fchwirth, T. (eds.) Constraint Handling Rules. LNCS (LNAI), vol.\u00a05388, pp. 48\u201369. Springer, Heidelberg (2008)"},{"key":"2_CR39","unstructured":"Wuille, P., Schrijvers, T., Demoen, B.: CCHR: The fastest CHR implementation. In: In Khalil Djelloul, C., Duck, G.J., Sulzmann, M. (eds.) 4th Workshop on Constraint Handling Rules, pp. 123\u2013137. U.Porto (2007)"}],"container-title":["Lecture Notes in Computer Science","Constraint Handling Rules"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-92243-8_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,18]],"date-time":"2019-05-18T22:29:08Z","timestamp":1558218548000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-92243-8_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540922421","9783540922438"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-92243-8_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008]]}}}