{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T13:22:56Z","timestamp":1760707376859},"reference-count":18,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2002,9,1]],"date-time":"2002-09-01T00:00:00Z","timestamp":1030838400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3984,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2002,9]]},"DOI":"10.1016\/s1571-0661(04)80344-x","type":"journal-article","created":{"date-parts":[[2004,9,28]],"date-time":"2004-09-28T15:29:25Z","timestamp":1096385365000},"page":"1-17","source":"Crossref","is-referenced-by-count":5,"special_numbering":"C","title":["JACK:"],"prefix":"10.1016","volume":"64","author":[{"given":"Slim","family":"Abdennadher","sequence":"first","affiliation":[]},{"given":"Ekkerhard","family":"Kr\u00e4mer","sequence":"additional","affiliation":[]},{"given":"Matthias","family":"Saft","sequence":"additional","affiliation":[]},{"given":"Matthias","family":"Schmauss","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80344-X_NEWBIB1","unstructured":"S. Abdennadher and M. Saft. A visualization tool for constraint handling rules. In 11th Workshop on Logic Programming Environments, WLPE'01, 2001."},{"key":"10.1016\/S1571-0661(04)80344-X_NEWBIB2","unstructured":"Y. Caseau, F.-X. Josset, and F. Laburthe. Claire: Combining sets, search, and rules to better express algorithms. In ICLP99, 1999."},{"key":"10.1016\/S1571-0661(04)80344-X_NEWBIB3","article-title":"A toolkit for constraint-based inference engines","author":"Chew","year":"2000","journal-title":"Practical Aspects of Declarative Languages"},{"key":"10.1016\/S1571-0661(04)80344-X_NEWBIB4","article-title":"Constraint programming in java with JSolver","author":"Chun","year":"1999","journal-title":"Practical Application of Constraint Logic Programming"},{"key":"10.1016\/S1571-0661(04)80344-X_NEWBIB5","unstructured":"P. Codognet and D. Diaz. Boolean constraint solving using clp(FD). In D. Miller, editor, Logic Programming - Proceedings of the 1993 International Symposium, Vancouver, Canada, 1993. The MIT Press."},{"key":"10.1016\/S1571-0661(04)80344-X_NEWBIB6","unstructured":"M. Dincbas, P. V. Hentenryck, H. Simonis, A. Aggoun, and A. Herold. The CHIP system: Constraint handling in Prolog. In M. Stickel, editor, Proceedings of the Tenth International Conference on Automated Deduction, LNCS 449. Springer-Verlag, 1990."},{"issue":"1\u20133","key":"10.1016\/S1571-0661(04)80344-X_NEWBIB7","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/S0743-1066(98)10005-5","article-title":"Theory and practice of constraint handling rules, special issue on constraint logic programming","volume":"37","author":"Fr\u00fchwirth","year":"1998","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S1571-0661(04)80344-X_NEWBIB8","doi-asserted-by":"crossref","unstructured":"T. Fr\u00fchwirth and P. Brisset. High-level implementations of constraint handling rules. Technical report, ECRC, 1995.","DOI":"10.1007\/3-540-59155-9_6"},{"key":"10.1016\/S1571-0661(04)80344-X_NEWBIB9","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1080\/088395100117043","article-title":"A prolog constraint handling rules compiler and runtime system","author":"Holzbaur","year":"2000","journal-title":"Journal of Applied Artificial Intelligence"},{"key":"10.1016\/S1571-0661(04)80344-X_NEWBIB10","article-title":"Constraint logic programming: A survey","volume":"20","author":"Jaffar","year":"1994","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S1571-0661(04)80344-X_NEWBIB11","series-title":"Programming with Constraints: An Introduction","author":"Marriott","year":"1998"},{"key":"10.1016\/S1571-0661(04)80344-X_NEWBIB12","unstructured":"J.-C. Regin. A filtering algorithm for constraints of difference in CSPs. In Proc. of AAAI-94, pages 362\u2013367, Seattle, WA, 1994."},{"key":"10.1016\/S1571-0661(04)80344-X_NEWBIB13","doi-asserted-by":"crossref","unstructured":"C. Schulte. Oz Explorer: A visual constraint programming tool. In L. Naish, editor, Proceedings of the Fourteenth International Conference on Logic Programming, pages 286\u2013300, Leuven, Belgium, July 1997. MIT Press, Cambridge, MA, USA.","DOI":"10.7551\/mitpress\/4299.003.0026"},{"key":"10.1016\/S1571-0661(04)80344-X_NEWBIB14","article-title":"The Oz programming model","volume":"1000","author":"Smolka","year":"1995","journal-title":"Lecture Notes in Computer Science"},{"key":"10.1016\/S1571-0661(04)80344-X_NEWBIB15","unstructured":"M. Torrens, R. Weigl, and B. Faltings. Java Constraint Library: bringing constraint technology to the internet using the java language. In Working Notes of the Workshop on Constraints and Agents, 1997."},{"key":"10.1016\/S1571-0661(04)80344-X_NEWBIB16","doi-asserted-by":"crossref","DOI":"10.1017\/S0269888900005798","article-title":"Constraint logic programming","volume":"6","author":"van Hentenryck","year":"1991","journal-title":"The Knowledge Engineering Review"},{"key":"10.1016\/S1571-0661(04)80344-X_NEWBIB17","unstructured":"T. Walsh. CSPLIB problem 15: Schur's lemma. Internet: http:\/\/wwwusers.cs.york.ac.uk\/~tw\/csplib\/prob\/prob015\/index.html."},{"key":"10.1016\/S1571-0661(04)80344-X_NEWBIB18","unstructured":"N. Zhou, S. Kaneko, and K. Yamauchi. DJ: A java-based constraint language and system. In Proceedings of the Annual JSSST Conference, 1998."}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S157106610480344X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S157106610480344X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,1,14]],"date-time":"2024-01-14T07:36:13Z","timestamp":1705217773000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S157106610480344X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,9]]},"references-count":18,"alternative-id":["S157106610480344X"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80344-x","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2002,9]]}}}