{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,11]],"date-time":"2026-01-11T20:43:10Z","timestamp":1768164190389,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540633983","type":"print"},{"value":"9783540695370","type":"electronic"}],"license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"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":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0033845","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T02:27:37Z","timestamp":1134268057000},"page":"191-206","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":148,"title":["An open-ended finite domain constraint solver"],"prefix":"10.1007","author":[{"given":"Mats","family":"Carlsson","sequence":"first","affiliation":[]},{"given":"Greger","family":"Ottosson","sequence":"additional","affiliation":[]},{"given":"Bj\u00f6rn","family":"Carlson","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,21]]},"reference":[{"issue":"7","key":"13_CR1","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0895-7177(93)90068-A","volume":"17","author":"A. Aggoun","year":"1993","unstructured":"A. Aggoun and N. Beldiceanu. Extending CHIP in order to solve complex scheduling and placement problems. Mathl. Comput. Modelling, 17(7):57\u201373, 1993.","journal-title":"Mathl. Comput. Modelling"},{"key":"13_CR2","unstructured":"P. Baptiste and C. Le Pape. A theoretical and experimental comparison of constraint propagation techniques for disjunctive scheduling. In Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-95), Montreal, Canada, August 1995."},{"issue":"12","key":"13_CR3","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0895-7177(94)90127-9","volume":"20","author":"N. Beldiceanu","year":"1994","unstructured":"N. Beldiceanu and E. Contejean. Introducing global constraints in CHIP. Mathl. Comput. Modelling, 20(12):97\u2013123, 1994.","journal-title":"Mathl. Comput. Modelling"},{"key":"13_CR4","unstructured":"B. Carlson and M. Carlsson. Compiling and Executing Disjunctions of Finite Domain Constraints. In Proceedings of the Twelfth International Conference on Logic Programming. MIT Press, 1995."},{"key":"13_CR5","unstructured":"B. Carlson, M. Carlsson, and D. Diaz. Entailment of finite domain constraints. In Proceedings of the Eleventh International Conference on Logic Programming. MIT Press, 1994."},{"key":"13_CR6","unstructured":"B. Carlson, M. Carlsson, and S. Janson. The implementation of AKL(FD). In Logic Programming: Proceedings of the 1995 International Symposium. MIT Press, 1995."},{"key":"13_CR7","first-page":"369","volume-title":"Logic Programming, Proceedings of the Eleventh International Conference on Logic Programming","author":"Y. Caseau","year":"1994","unstructured":"Y. Caseau and F. Laburthe. Improved clp scheduling with task intervals. In P. Van Hentenryck, editor, Logic Programming, Proceedings of the Eleventh International Conference on Logic Programming, pages 369\u2013383, Santa Margherita Ligure, Italy, 1994. MIT Press."},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Philippe Codognet and Giuseppe Nardiello. Enhancing the constraint-solving power of clp(FD) by means of path-consistency methods. In A. Podelski, editor, Constraints: Basics and Trends, volume 910 of Lecture Notes in Computer Science, pages 37\u201361. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-59155-9_3"},{"key":"13_CR9","first-page":"774","volume-title":"Proceedings of the International Conference on Logic Programming","author":"D. Diaz","year":"1993","unstructured":"D. Diaz and P. Codognet. A Minimal Extension of the WAM for CLP(FD). In Proceedings of the International Conference on Logic Programming, pages 774\u2013790, Budapest, Hungary, 1993. MIT Press."},{"key":"13_CR10","unstructured":"M. Dincbas, P. van Hentenryck, H. Simonis, A. Aggoun, T. Graf, and F. Berthier. The Constraint Logic Programming Language CHIP. In Proceedings of the International Conference on Fifth Generation Computer Systems, 1988."},{"key":"13_CR11","unstructured":"Mats Carlsson et al. SICStus Prolog User's Manual. SICS Research Report, Swedish Institute of Computer Science, 1995. URL: http:\/\/www.sics.se\/isl\/sicstus.html."},{"key":"13_CR12","unstructured":"Micha Meier et al. ECLiPSe user manual. ECRC Research Report ECRC-93-6, European Computer Research Consortium, 1993."},{"key":"13_CR13","unstructured":"C. Holzbaur. Specification of Constraint Based Inference Mechanism through Extended Unification. PhD thesis, Dept. of Medical Cybernetics and AI, University of Vienna, 1990."},{"key":"13_CR14","unstructured":"ILOG. ILOG Solver C++. Reference manual, ILOG S.A., 1993."},{"key":"13_CR15","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/0004-3702(86)90083-4","volume":"28","author":"R. Mohr","year":"1986","unstructured":"R. Mohr and T.C. Henderson. Arc and path consistency revisited. Artificial Intelligence, 28:225\u2013233, 1986.","journal-title":"Artificial Intelligence"},{"key":"13_CR16","unstructured":"W. Older and A. Vellino. Constraint arithmetic on real intervals. In Constraint Logic Programming: Selected Research (eds. Benhamou and Colmerauer). MIT Press, 1993."},{"key":"13_CR17","unstructured":"PrologIA. Le manuel de Prolog IV. Reference manual, PrologIA S.A., 1997."},{"key":"13_CR18","unstructured":"J.-F. Puget and M. Leconte. Beyond the glass box: Constraints as objects. In J. Lloyd, editor, Proceedings of the International Logic Programming Symposium (ILPS-95), pages 513\u2013527, Portland, 1995."},{"key":"13_CR19","unstructured":"J.-C. R\u00e9gin. A filtering algorithm for constraints of difference in CSPs. In Proc. of the Twelfth National Conference on Artificial Intelligence (AAAI-94), pages 362\u2013367, 1994."},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"Vijay A. Saraswat. Concurrent Constraint Programming Languages. PhD thesis, Carnegie-Mellon University, January 1990.","DOI":"10.1145\/96709.96733"},{"key":"13_CR21","unstructured":"Gregory Sidebottom. A Language for Optimizing Constraint Propagation. PhD thesis, Simon Fraser University, November 1993."},{"key":"13_CR22","doi-asserted-by":"crossref","unstructured":"Gert Smolka. The Oz programming model. In J. van Leeuwen, editor, Computer Science Today, volume 1000 of Lecture Notes in Computer Science, pages 324\u2013343. Springer-Verlag, 1995.","DOI":"10.1007\/BFb0015252"},{"key":"13_CR23","unstructured":"Pascal Van Hentenryck and Yves Deville. The cardinality operator: a new logical connective in constraint logic programming. In International Conference on Logic Programming. MIT Press, 1991."},{"key":"13_CR24","unstructured":"Pascal Van Hentenryck, Vijay Saraswat, and Yves Deville. Constraint processing in cc(FD). Draft, Computer Science Department, Brown University, 1991."},{"key":"13_CR25","doi-asserted-by":"crossref","unstructured":"Pascal Van Hentenryck, Vijay Saraswat, and Yves Deville. Design, implementation and evaluation of the constraint language cc(FD). In A. Podelski, editor, Constraints: Basics and Rends, volume 910 of Lecture Notes in Computer Science. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-59155-9_15"},{"key":"13_CR26","volume-title":"The Psychology of Computer Vision (Ed. P. Winston), chapter Understanding line drawings of scenes with shadows","author":"D. Waltz","year":"1975","unstructured":"D. Waltz. The Psychology of Computer Vision (Ed. P. Winston), chapter Understanding line drawings of scenes with shadows. McGraw-Hill, New York, 1975."},{"key":"13_CR27","volume-title":"Model Building in Mathematical Programming","author":"H.P. Williams","year":"1978","unstructured":"H.P. Williams. Model Building in Mathematical Programming. J. Wiley and sons, New York, 1978."},{"key":"13_CR28","unstructured":"J\u00f6rg W\u00fcrtz, 1997. Personal Communication."},{"key":"13_CR29","unstructured":"Neng-Fa Zhou. B-Prolog User's Manual Version 2.1. Technical report, Kyushu Institute of Technology, 1997. URL: http:\/\/www.cad.mse.kyutech.ac.jp\/people\/zhou\/bprolog.html."}],"container-title":["Lecture Notes in Computer Science","Programming Languages: Implementations, Logics, and Programs"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0033845","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T09:06:04Z","timestamp":1558256764000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0033845"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540633983","9783540695370"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/bfb0033845","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997]]},"assertion":[{"value":"21 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}