{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:12:32Z","timestamp":1725664352361},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540586012"},{"type":"electronic","value":"9783540490326"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58601-6_108","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:37:39Z","timestamp":1330256259000},"page":"299-311","source":"Crossref","is-referenced-by-count":6,"title":["On the design of constraint satisfaction problems"],"prefix":"10.1007","author":[{"given":"Massimo","family":"Paltrinieri","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"24_CR1","volume-title":"Ph.D. Thesis","author":"A. Borning","year":"1979","unstructured":"A. Borning, Thinglab: A Constraint-Oriented Simulation Laboratory, Ph.D. Thesis, Stanford University, CA, 1979."},{"key":"24_CR2","unstructured":"Bull S.A. Ed.: Manuel Charme First, Bull Publication No. 95-F2-52GN-REVO, Annexe A, pages 29\u201349, Paris, France, 1991."},{"key":"24_CR3","unstructured":"Y. C. Chan, Practical Constraint-Based Programming: Solving Problems with the Charme Language, John Wiley & Sons Publisher, to appear, 1994."},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"M. D'Andr\u00e9a, Scheduling and Optimization in the Automobile Industry, Lecture Notes in Artificial Intelligence, vol. 636, G. Comyn, N. E. Fuchs, Ratcliffe (Editors), Springer Verlag, 1992.","DOI":"10.1007\/3-540-55930-2_3"},{"key":"24_CR5","doi-asserted-by":"crossref","unstructured":"B. Freeman-Benson, A. Borning, Integrating Constraints with an Object-Oriented Language, Proc. of the 1992 European Conference on Object-Oriented Programming, June 1992.","DOI":"10.1007\/BFb0053042"},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"M. Fowler, A Comparison of Object-Oriented Analysis and Design Methods, in Approaches to Object-Oriented Analysis and Design, A. Carmichael Ed., Ashgate, 1993.","DOI":"10.1145\/157710.157763"},{"key":"24_CR7","unstructured":"V. Gosselin, Train Scheduling Using Constraint Programming Techniques\u201d, Actes 13eme Journ\u00e9e International sur les Syst\u00e8mes Expert et Leur Application, Avignon, 1993."},{"key":"24_CR8","unstructured":"D. R. Harris, A Hybrid Object and Constraint Representation Language, AAAI-86, Philadelphia, Pennsylvania, 1986."},{"key":"24_CR9","unstructured":"T. K\u00f6k\u00e9ny: CSPOO: Un Syst\u00e8me \u00e0 R\u00e9solution de Contraintes Orient\u00e9 Objet, R\u00e9pr\u00e9sentation Par Objet, La Grande Motte, pages 39\u201349, July 1993."},{"key":"24_CR10","first-page":"32","volume":"13","author":"V. Kumar","year":"1992","unstructured":"V. Kumar: Algorithms for Constraint Satisfaction Problems: a Survey. AI Magazine, 13, 1992, 32\u201344.","journal-title":"AI Magazine"},{"key":"24_CR11","unstructured":"M. Leconte, F. Leyter, Update Specification of Logic Constraint Programming Methodology, Deliverable D2.1.2.2, CHIC Esprit Project 5291, July 1993."},{"key":"24_CR12","unstructured":"J. Marcovich, Y. Tourbier, Une Application de la Programmation par Contraintes: Construction de Plans d'Experience Orthogonaux au Sens Strict avec Condor, Actes des Journ\u00e9es Internationales d'Avignon, 1989."},{"key":"24_CR13","doi-asserted-by":"crossref","unstructured":"B. A. Myers, D. A. Giuse, B. Vander Zanden, Declarative Programming in a Prototype-Instance System: Object-Oriented Programming Without Writing Methods, OOPSLA'92, 184\u2013200, 1992.","DOI":"10.1145\/141936.141953"},{"key":"24_CR14","volume-title":"Tech. Report CSC-90-008","author":"B. Nadel","year":"1990","unstructured":"B. Nadel, Some Applications of the Constraint Satisfaction Problem, Tech. Report CSC-90-008, Dept. of C.S., Wayne State University, Detroit, MI, 1990."},{"key":"24_CR15","first-page":"55","volume":"1","author":"A. Oplobedu","year":"1989","unstructured":"A. Oplobedu, Charme: un Langage Industriel de Programmation par Contraintes, Actes 9eme Journ\u00e9e International sur les Syst\u00e8mes Expert et Leur Applications, Vol. 1, 55\u201370, Avignon, 1989.","journal-title":"Actes 9eme Journ\u00e9e International sur les Syst\u00e8mes Expert et Leur Applications"},{"key":"24_CR16","volume-title":"AAAI Tech. Rep. SS-92-01. Also as NASA Tech. Rep. FIA-92-17","author":"M. Paltrinieri","year":"1992","unstructured":"M. Paltrinieri, A. Momigliano, F. Torquati, Scheduling of an Aircraft Fleet, AAAI Tech. Rep. SS-92-01. Also as NASA Tech. Rep. FIA-92-17, NASA Ames, Moffet Field, CA, USA, 1992."},{"key":"24_CR17","unstructured":"J.-F. Puget, Programmation Par Contraintes Orient\u00e9e Objet, 12th International Conference on AI, ES and NL, 129\u2013138, Avignon, France, 1992."},{"key":"24_CR18","unstructured":"A. Roth, Constraint Programming: A Practical Solution to Complex Problems, AI Expert, pages 36\u201339 Sept. 1993."},{"key":"24_CR19","doi-asserted-by":"crossref","unstructured":"D. Srivastava, R. Ramakrishnan, P. Z. Revesz: Constraint Objects, Second International Workshop on Principles and Practice of Constraint Programming, Orcas Island, WA, May 1994.","DOI":"10.1007\/3-540-58601-6_103"},{"key":"24_CR20","doi-asserted-by":"crossref","unstructured":"I. Sutherland, A Man-Machine Graphical Communication System, PhD Thesis, MIT, 1963.","DOI":"10.1145\/800265.810742"},{"key":"24_CR21","doi-asserted-by":"crossref","unstructured":"S. Thennarangam, G. Singh: Inferring 3-dimensional Constraints with DEVI, Second International Workshop on Principles and Practice of Constraint Programming, Orcas Island, WA, May 1994.","DOI":"10.1007\/3-540-58601-6_91"},{"key":"24_CR22","volume-title":"Constraint Satisfaction in Logic Programming","author":"P. Hentenryck Van","year":"1989","unstructured":"P. Van Hentenryck: Constraint Satisfaction in Logic Programming, The MIT Press, Cambridge, Massachusetts, 1989."},{"key":"24_CR23","doi-asserted-by":"crossref","unstructured":"M. Wilk, Equate: An Object-Oriented Constraint Solver, OOPSLA '91, pages 286\u2013298, Phoenix, October 1991.","DOI":"10.1145\/117954.117976"}],"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\/3-540-58601-6_108.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:23:17Z","timestamp":1605630197000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58601-6_108"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540586012","9783540490326"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-58601-6_108","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}