{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:52:26Z","timestamp":1752461546420},"publisher-location":"Berlin, Heidelberg","reference-count":66,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540559306"},{"type":"electronic","value":"9783540473121"}],"license":[{"start":{"date-parts":[[1992,1,1]],"date-time":"1992-01-01T00:00:00Z","timestamp":694224000000},"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":[[1992]]},"DOI":"10.1007\/3-540-55930-2_2","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:45:52Z","timestamp":1330253152000},"page":"3-35","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":22,"title":["Constraint Logic Programming"],"prefix":"10.1007","author":[{"given":"Thom","family":"Fr\u00fchwirth","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Herold","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Volker","family":"K\u00fcchenhoff","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thierry","family":"Le Provost","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre","family":"Lim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Monfroy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"Wallace","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"2_CR1","unstructured":"A. Aggoun and N. Beldiceanu. Overview of the CHIP Compiler System. In K. Furukuwa and P. Deransart, editors, Proceedings of the 8th International Conference on Logic Programming, pages 775\u2013789, June 1991."},{"key":"2_CR2","unstructured":"A. Aggoun and N. Beldiceanau. Extending CHIP in order to solve complex scheduling problems. Technical report, COSYTEC, 1992."},{"key":"2_CR3","unstructured":"A. Aiba and R. Hasegawa. Constraint Logic Programming Systems \u2014 CAL, GDCC and Their Constraint Solvers. In Proceedings of FGCS 92, pages 113\u2013131, 1992."},{"key":"2_CR4","first-page":"263","volume-title":"Constraint Logic Programming Language CAL","author":"A. Aiba","year":"1988","unstructured":"[ASS+88] A. Aiba, K. Sakai, Y. Sato, D. J. Hawley, and R. Hasegawa. Constraint Logic Programming Language CAL. In Proceedings of the International Conference on Fifth Generation Computer Systems (FGCS-88), ICOT, Tokyo, pages 263\u2013276, december 1988."},{"key":"2_CR5","unstructured":"Bell-Northern Research Ltd BNR. BNR-Prolog User Guide. Technical report, Bell-Northern Research Ltd., 1988."},{"key":"2_CR6","unstructured":"F. Berthier. A financial model using qualitative and quantitative knowledge. In F. Gardin, editor, Proceeedings of the International Symposium on Computational Intelligence 89, Milano, Italy, September 1989."},{"issue":"8","key":"2_CR7","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"35","author":"R. Bryant","year":"1986","unstructured":"R. Bryant. Graph based algorithms for boolean function manipulation. IEEE Transactions on Computers, 35(8):677\u2013691, 1986.","journal-title":"IEEE Transactions on Computers"},{"key":"2_CR8","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/S0747-7171(87)80065-2","volume":"4","author":"W. Buettner","year":"1987","unstructured":"W. Buettner and H. Simonis. Embedding Boolean Expressions into Logic Programming. Journal of Symbolic Computation, 4:191\u2013205, October 1987.","journal-title":"Journal of Symbolic Computation"},{"key":"2_CR9","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1007\/978-94-009-5225-6_6","volume-title":"Multidimensional Systems theory","author":"B. Buchberger","year":"1985","unstructured":"B. Buchberger. Gr\u00f6bner Bases: an Algorithmic Method in Polynomial Ideal Theory. In N. K. Bose Ed., editor, Multidimensional Systems theory, pages 184\u2013232. D. Reidel Publishing Company, Dordrecht \u2014 Boston \u2014 Lancaster, 1985."},{"key":"2_CR10","unstructured":"W. Buettner. Unification in finite algerbas is unitary (?). In Proceedings CADE-9. LNCS 310, Springer-Verlag, 1988."},{"issue":"7","key":"2_CR11","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1145\/79204.79209","volume":"33","author":"J. Cohen","year":"1990","unstructured":"J. Cohen. Constraint logic programming languages. Communications of the ACM, 33(7):52\u201368, July 1990.","journal-title":"Communications of the ACM"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"G. E. Collins. Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition. In Proceedings of the Second GI Conference on Automata Theory and Formal Languages, pages 515\u2013532. Springer Lecture Notes in Computer Science 33, 1975.","DOI":"10.1007\/3-540-07407-4_17"},{"issue":"7","key":"2_CR13","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1145\/79204.79210","volume":"33","author":"A. Colmerauer","year":"1990","unstructured":"Alain Colmerauer. An introduction to prolog-III. Communications of the ACM, 33(7):69\u201390, July 1990.","journal-title":"Communications of the ACM"},{"key":"2_CR14","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1016\/0004-3702(87)90091-9","volume":"32","author":"E. Davis","year":"1987","unstructured":"E. Davis. Constraint propagation with interval labels. Artificial Intelligence, 32:281\u2013331, 1987.","journal-title":"Artificial Intelligence"},{"key":"2_CR15","unstructured":"M. Dincbas, H. Simonis, and P. Van Hentenryck. Solving a Cutting-Stock Problem in Constraint Logic Programming. In Fifth International Conference on Logic Programming, Seattle, WA, August 1988."},{"issue":"1\u20132","key":"2_CR16","first-page":"74","volume":"8","author":"M. Dincbas","year":"1990","unstructured":"M. Dincbas, H. Simonis, and P. Van Hentenryck. Solving Large Combinatorial Problems in Logic Programming. Journal of Logic Programming, 8(1\u20132):74\u201394, 1990.","journal-title":"Journal of Logic Programming"},{"key":"2_CR17","first-page":"17","volume-title":"Parallel Execution of Logic Programs, ICLP'91 Pre-Conference Workshop Proceedings","author":"M. Dorochevsky","year":"1991","unstructured":"M. Dorochevsky, K. Schuerman, A. V\u00e9ron, and J. Xu. Constraints Handling, Garbage Collection and Execution Model Issues in ElipSys. In Springer Verlag, editor, Parallel Execution of Logic Programs, ICLP'91 Pre-Conference Workshop Proceedings, pages 17\u201328, Paris, June 1991."},{"key":"2_CR18","unstructured":"Y. Deville and P. Van Hentenryck. An efficient arc consistency algorithm for a class of csp problems. In Proc. of the 13 th IJCAI, Sydney, Australia, August 1991."},{"key":"2_CR19","unstructured":"M. Dincbas, P. Van Hentenryck, H. Simonis, A. Aggoun, T. Graf, and F. Berthier. The Constraint Logic Programming Language CHIP. In Proceedings on the International Conference on Fifth Generation Computer Systems FGCS-88, Tokyo, Japan, December 1988."},{"issue":"11","key":"2_CR20","doi-asserted-by":"crossref","first-page":"958","DOI":"10.1145\/359642.359654","volume":"21","author":"E. C. Freuder","year":"1978","unstructured":"E.C. Freuder. Synthesizing constraint expressions. Communications of the ACM, 21(11):958\u2013966, November 1978.","journal-title":"Communications of the ACM"},{"key":"2_CR21","unstructured":"Thom Fr\u00fchwirth. Constraint logic programming \u2014 an overview. Technical Report Technical Report E181-2, Christian Doppler Laboratory For Expert Systems, August 1990."},{"key":"2_CR22","volume-title":"Technical report","author":"T. Fr\u00fchwirth","year":"1992","unstructured":"Thom Fr\u00fchwirth. Simplification rules. Technical report, ECRC, Munich, Germany, 1992."},{"key":"2_CR23","unstructured":"T. Filkorn, R. Schmid, E. Tiden, and P. Warkentin. Experiences from a large industrial circuit design application. In ILPS, San Diego, California, October 1991."},{"key":"2_CR24","first-page":"88","volume-title":"IEEE Symposium on Logic Programming","author":"H. Gallaire","year":"1985","unstructured":"H. Gallaire. Logic programming: Further developments. In IEEE Symposium on Logic Programming, pages 88\u201399. IEEE, Boston, July 1985."},{"key":"2_CR25","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0004-3702(80)90051-X","volume":"14","author":"R. M. Haralick","year":"1980","unstructured":"R.M. Haralick and G.L. Elliot. Increasing tree search efficiency for constraint satisfaction problems. Artificial Intelligence, 14:263\u2013314, October 1980.","journal-title":"Artificial Intelligence"},{"key":"2_CR26","volume-title":"Technical Report RC 16913","author":"R. Helm","year":"1991","unstructured":"R. Helm, T. Huynh, C. Lassez, and K. Mariott. A linear constraint technology for user interfaces. Technical Report RC 16913, IBM Yorktown Heights, 1991."},{"key":"2_CR27","volume-title":"PhD thesis","author":"H. Hong","year":"1990","unstructured":"Hoon Hong. Improvements in CAD-Based Quantifier Elimination. PhD thesis, Ohio State University, Computer and Information Science Research Center, Colombus, Ohio, USA, 1990."},{"key":"2_CR28","volume-title":"Technical report","author":"H. Hong","year":"1992","unstructured":"H. Hong. Non-linear Constraints Solving over Real numbers in Constraint Logic Programming (Introducing RISC-CLP). Technical report, RISC, Linz, 1992."},{"key":"2_CR29","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/BF00339943","volume":"52","author":"J. Hopfield","year":"1985","unstructured":"J. Hopfield and D. Tank. 'Neural\u2019 computation of decisions in optimization problems. Biological Cybernetics, 52:141\u2013152, 1985.","journal-title":"Biological Cybernetics"},{"key":"2_CR30","first-page":"111","volume-title":"Proceedings of the 14th ACM Symposium on Principles of Programming Languages","author":"J. Jaffar","year":"1987","unstructured":"Joxan Jaffar and Jean-Louis Lassez. Constraint logic programming. In Proceedings of the 14th ACM Symposium on Principles of Programming Languages, Munich, Germany, pages 111\u2013119. ACM, January 1987."},{"key":"2_CR31","unstructured":"Joxan Jaffar, Spiro Michaylov, Peter Stuckey, and Roland Yap. The CLPR language and system. Technical Report RC 16292 (72336) 11\/15\/90, IBM Research Division, November 1990."},{"key":"2_CR32","unstructured":"J. Jaffar, M. Maher, P. Stuckey, and R. Yap. Output in CLPR. In Proceedings the FGCS'92, Tokyo, 1992."},{"key":"2_CR33","doi-asserted-by":"crossref","unstructured":"P. Kanellakis, G. Kuper, and P. Revesz. Constraint query languages. In Proceedings of PODS 90, pages 299\u2013313W, 1990.","DOI":"10.1145\/298514.298582"},{"key":"2_CR34","volume-title":"Logic for Problem Solving","author":"R Kowalsi","year":"1979","unstructured":"R Kowalsi. Logic for Problem Solving. North-Holland, New York, Amsterdam, Oxford, 1979."},{"key":"2_CR35","volume-title":"Technical report","author":"V. K\u00fcchenhoff","year":"1992","unstructured":"Volker K\u00fcchenhoff. Clp and novel search techniques: an integration. Technical report, ECRC, Munich, Germany, 1992."},{"key":"2_CR36","volume-title":"Technical report","author":"V. K\u00fcchenhoff","year":"1992","unstructured":"Volker K\u00fcchenhoff. Novel search techniques \u2014 an overview. Technical report, ECRC, Munich, Germany, January 1992."},{"key":"2_CR37","unstructured":"E. Lawler, J. Lenstra, R. Kan, and D. Shmoys. The Traveling Salesman Problem. John Wiley and Sons, 1985."},{"key":"2_CR38","first-page":"42","volume":"3","author":"C. Lassez","year":"1987","unstructured":"Catherine Lassez, Ken McAloon, and Roland Yap. Constraint logic programming and options trading. IEEE Expert, Special Issue on Financial Software, (3):42\u201350, August 1987.","journal-title":"IEEE Expert, Special Issue on Financial Software"},{"key":"2_CR39","unstructured":"T. Le Provost and M. Wallace. Constraint Satisfaction Over the CLP Scheme. Technical Report ECRC-92-1, ECRC, 1992."},{"key":"2_CR40","unstructured":"T. Le Provost and M. Wallace. Domain Independent Propagation. In Proceedings on the International Conference on Fifth Generation Computer Systems 1992 FGCS-92, pages 1004\u20131012, Tokyo, Japan, June 1992."},{"issue":"1","key":"2_CR41","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"A. K. Mackworth","year":"1977","unstructured":"A.K. Mackworth. Consistency in networks of relations. Artificial Intelligence, 8(1):99\u2013118, 1977.","journal-title":"Artificial Intelligence"},{"key":"2_CR42","unstructured":"A.K. Mackworth. Constraint satisfaction. In Encyclopedia of Artifical Intelligence, 1986."},{"key":"2_CR43","unstructured":"M. Meier, A. Aggoun, D. Chan, P. Dufresne, R. Enders, D. Henry de Villeneuve, A. Herold, P. Kay, B. Perez, E. van Rossum, and J. Schimpf. SEPIA \u2014 An Extendible Prolog System. In Proceedings of the 11th World Computer Congress IFIP'89, San Francisco, August 1989."},{"key":"2_CR44","unstructured":"M. J. Maher. Logic semantics for a class of committed-choice programs. In Proc. 4th International Conference on Logic Programming, pages 858\u2013876, Melbourne, Australia, May 1987."},{"key":"2_CR45","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/0004-3702(85)90041-4","volume":"25","author":"A. K. Mackworth","year":"1985","unstructured":"A.K. Mackworth and E.C. Freuder. The complexity of some polynomial network consistency algorithms for constraint satisfaction problems. Artificial Intelligence, 25:65\u201374, 1985.","journal-title":"Artificial Intelligence"},{"key":"2_CR46","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":"2_CR47","unstructured":"U. Martin and T. Nipkov. Boolean unification \u2014 the story so far. In C. Kirchner, editor, Unification. Academic Press, 1990."},{"issue":"2","key":"2_CR48","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/0020-0255(74)90008-5","volume":"7","author":"U. Montanari","year":"1974","unstructured":"U. Montanari. Networks of constraints: Fundamental properties and applications to picture processing. Information Science, 7(2):95\u2013132, 1974.","journal-title":"Information Science"},{"key":"2_CR49","volume-title":"Technical Report 91-15i","author":"E. Monfroy","year":"1992","unstructured":"E. Monfroy. A Survey of Non-Linear Solvers. Technical Report 91-15i, ECRC, Munich, Germany, January 1992."},{"key":"2_CR50","volume-title":"Technical Report ECRC-92","author":"E. Monfroy","year":"1992","unstructured":"E. Monfroy. Non Linear Constraints: a Language and a Solver. Technical Report ECRC-92, ECRC, Munich, Germany, 1992. to appear."},{"key":"2_CR51","unstructured":"W. Older and A. Vellino. Extending prolog with constraint arithmetics on ral intervals. In Canadian Conference on Computer and Electrical Engineering, Ottawa, Canada, 1990."},{"key":"2_CR52","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-1098-6","volume-title":"Computational Geometry: An Introduction","author":"F. P. Preparata","year":"1985","unstructured":"F. P. Preparata and M. I. Shamos. Computational Geometry: An Introduction. Springer-Verlag, New York, 1985."},{"issue":"6","key":"2_CR53","doi-asserted-by":"crossref","first-page":"589","DOI":"10.1016\/S0747-7171(89)80063-X","volume":"8","author":"K. Sakai","year":"1989","unstructured":"K. Sakai and A. Aiba. A Theoretical background of Constraint Logic Programming and its Applications. Journal of Symbolic Computation, 8(6):589\u2013603, December 1989.","journal-title":"Journal of Symbolic Computation"},{"key":"2_CR54","doi-asserted-by":"crossref","unstructured":"V. A. Saraswat. Concurrent Constraint Programming Languages. MIT Press, 1992.","DOI":"10.7551\/mitpress\/2086.001.0001"},{"key":"2_CR55","doi-asserted-by":"crossref","unstructured":"H. Simonis and M. Dincbas. Using Logic Programming for Fault Diagnosis in Digital Circuits. In German Workshop on Artificial Intelligence (GWAI-87), pages 139\u2013148, Geseke, W.Germany, September 1987.","DOI":"10.1007\/978-3-642-73005-4_15"},{"key":"2_CR56","volume-title":"Proceedings of the 2nd International Conf on Algebraic and Logic Programming","author":"H. Simonis","year":"1990","unstructured":"H. Simonis and M. Dincbas. Propositional calculus problems in chip. In H. Kirchner, editor, Proceedings of the 2nd International Conf on Algebraic and Logic Programming, Nancy, France, October 1990. CRIN and INRIA-Lorraine, Springer Verlag."},{"key":"2_CR57","unstructured":"H. Simonis. Test Generation Using the Constraint Logic Programming Language CHIP. In Proceedings of the 6th International Conference on Logic Programming, Lisbon, Portugal, June 1989."},{"key":"2_CR58","unstructured":"H. Simonis. Constraint Logic Programming as a Digital Circuit Design Tool. PhD thesis, 1992. (submitted)."},{"key":"2_CR59","doi-asserted-by":"crossref","unstructured":"Gerd Smolka. Residuation and guarded rules for constraint logic programming. Technical report, Digital Equipment Paris Research Laboratory Research Report, June 1991.","DOI":"10.1007\/978-3-322-95233-2_24"},{"key":"2_CR60","unstructured":"G. L. Steele. The definition and implementation of a computer programming language based on constraints. Technical Report MIT-AI TR 595, Dept. of Electrical Engineering and Computer Science, M.I.T., August 1980."},{"key":"2_CR61","doi-asserted-by":"crossref","unstructured":"P. Van Hentenryck. A Constraint Approach to Mastermind in Logic Programming. ACM Sigart, (103), January 1988.","DOI":"10.1145\/44418.44421"},{"key":"2_CR62","series-title":"Logic Programming Series","volume-title":"Constraint Satisfaction in Logic Programming","author":"P. Hentenryck Van","year":"1989","unstructured":"P. Van Hentenryck. Constraint Satisfaction in Logic Programming, Logic Programming Series. MIT Press, Cambridge, MA, 1989."},{"issue":"3","key":"2_CR63","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1017\/S0269888900005798","volume":"6","author":"P. Hentenryck Van","year":"1991","unstructured":"Pascal Van Hentenryck. Constraint logic programming. The Knowledge Engineering Review, 6(3):151\u2013194, 1991.","journal-title":"The Knowledge Engineering Review"},{"key":"2_CR64","first-page":"745","volume-title":"The cardinality operator: A new logical connective for constraint logic programming","author":"P. Hentenryck Van","year":"1991","unstructured":"Pascal Van Hentenryck and Yves Deville. The cardinality operator: A new logical connective for constraint logic programming. In Proc. of the 8 th Int. Conf. on Logic Programming, pages 745\u2013759, Paris, France, 1991. MIT Press."},{"key":"2_CR65","unstructured":"P. Voda. The constraint language trilogy: Semantics and computations. Technical report, Complete Logic Systems, North Vancouver, BC, Canada, 1988."},{"key":"2_CR66","volume-title":"Technical Report AI271","author":"D. Waltz","year":"1972","unstructured":"D. Waltz. Generating semantic descriptions from drawings of scenes with shadows. Technical Report AI271, MIT, Massachusetts, November 1972."}],"container-title":["Lecture Notes in Computer Science","Logic Programming in Action"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55930-2_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T18:21:24Z","timestamp":1687285284000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55930-2_2"}},"subtitle":["An informal introduction"],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540559306","9783540473121"],"references-count":66,"URL":"https:\/\/doi.org\/10.1007\/3-540-55930-2_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]},"assertion":[{"value":"27 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}