{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:40:08Z","timestamp":1742600408551,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540607946"},{"type":"electronic","value":"9783540494560"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-60794-3_11","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T20:59:15Z","timestamp":1330289955000},"page":"1-21","source":"Crossref","is-referenced-by-count":1,"title":["Application development with the CHIP system"],"prefix":"10.1007","author":[{"given":"Helmut","family":"Simonis","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"A. Aggoun, N. Beldiceanu Extending CHIP in Order to Solve Complex Scheduling Problems Journal of Mathematical and Computer Modelling, Vol. 17, No. 7, pages 57\u201373 Pergamon Press, 1993","DOI":"10.1016\/0895-7177(93)90068-A"},{"key":"1_CR2","unstructured":"G. Baues, P. Kay, P. Charlier Constraint Based Resource Allocation for Airline Crew Management ATTIS 94, Paris, April 1994"},{"issue":"No12","key":"1_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, E. Contejean Introducing Global Constraints in CHIP Journal of Mathematical and Computer Modelling, Vol 20, No 12, pp 97\u2013123, 1994","journal-title":"Journal of Mathematical and Computer Modelling"},{"key":"1_CR4","unstructured":"J. Bellone, A. Chamard, C. Pradelles PLANE-An Evolutive Planning System for Aircraft Production. First International Conference on the Practical Application of Prolog. 1\u20133 April 1992, London."},{"key":"1_CR5","unstructured":"F. Berthier Solving Financial Decision Problems with CHIP Proc 2nd Conf Economics and AI, Paris 223\u2013238, June 1990"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"R. Bisdorff, S. Laurent, E. Pichon Knowledge Engineering with CHIP \u2014 Application to a Production Scheduling Problem in the Wire-Drawing Industry PAP95, Paris, April 1995","DOI":"10.1049\/ic:19951502"},{"key":"1_CR7","unstructured":"P. Bouzimault, Y. Delon, L. Peridy Planning Exams Using Constraint Logic Programming 2nd Conf Practical Applications of Prolog, London, April 1994"},{"key":"1_CR8","unstructured":"A. Chamard, F. Deces, A. Fischler A Workshop Scheduler System written in CHIP 2nd Conf Practical Applications of Prolog, London, April 1994"},{"key":"1_CR9","unstructured":"C. Chiopris, M. Fabris Optimal Management of a Large Computer Network with CHIP 2nd Conf Practical Applications of Prolog, London, April 1994"},{"key":"1_CR10","unstructured":"T. Creemers, L. R. Giralt, J. Riera, C. Ferrarons, J. Rocca, X. Corbella Constrained-Based Maintenance Scheduling on an Electric Power-Distribution Network PAP95, Paris, April 1995"},{"issue":"7","key":"1_CR11","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1145\/79204.79210","volume":"33","author":"A. Colmerauer","year":"1990","unstructured":"A. Colmerauer An Introduction to Prolog III CACM 33(7), 52\u201368, July 1990","journal-title":"CACM"},{"key":"1_CR12","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 (FGCS'88), pages 693\u2013702, Tokyo, 1988."},{"key":"1_CR13","unstructured":"M. Dincbas, H. Simonis, P. Van Hentenryck. Extending Equation Solving and Constraint Handling in Logic Programming, In Colloquium on Resolution of Equations in Algebraic Structures (CREAS), Texas, May 1987."},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"M. Dincbas, P. Van Hentenryck, H. Simonis, A. Aggoun and T. Graf. Applications of CHIP to industrial and engineering problems. In First International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Tullahoma, Tennessee, USA, June 1988.","DOI":"10.1145\/55674.55703"},{"key":"1_CR15","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0743-1066(90)90052-7","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 \u2014 8, pages 75\u201393, 1990.","journal-title":"Journal of Logic Programming"},{"key":"1_CR16","first-page":"267","volume-title":"APACHE \u2014 A Constraint Based, Automated Stand Allocation System","author":"M. Dincbas","year":"1991","unstructured":"M. Dincbas, H. Simonis APACHE \u2014 A Constraint Based, Automated Stand Allocation System Proc. of Advanced Software Technology in Air Transport (ASTAIR'91) Royal Aeronautical Society, London, UK, 23\u201324 October 1991, pages 267\u2013282"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"M. Dincbas, H. Simonis, P. Van Hentenryck Solving a Cutting-Stock Problem with the Constraint Logic Programming Language CHIP Journal of Mathematical and Computer Modelling, Vol. 16, No. 1, pp. 95\u2013105, Pergamon Press, 1992","DOI":"10.1016\/0895-7177(92)90081-U"},{"key":"1_CR18","unstructured":"M. Dincbas, H. Simonis, P. Van Hentenryck. Solving the Car Sequencing Problem in Constraint Logic Programming. In European Conference on Artificial Intelligence (ECAI-88), Munich, W. Germany, August 1988."},{"key":"1_CR19","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/3-540-55930-2_2","volume":"636","author":"T. Fruewirth","year":"1992","unstructured":"T. Fruewirth, A. Herold, V. Kuchenhoff, T. Le Provost, P. Lim, M. Wallace Constraint Logic Programming \u2014 An Informal Introduction In Logic Programming in Action LNCS 636, 3\u201335, 1992","journal-title":"Logic Programming in Action LNCS"},{"key":"1_CR20","volume-title":"Simulation of Hybrid Circuits in Constraint Logic Programming","author":"T. Graf","year":"1989","unstructured":"T. Graf, P. Van Hentenryck, C. Pradelles, L. Zimmer Simulation of Hybrid Circuits in Constraint Logic Programming IJCAI, Detroit, August 1989"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"J. Jaffar, J.L. Lassez Constraint Logic Programming Proc. 14th POPL, Munich, 1987","DOI":"10.1145\/41625.41635"},{"key":"1_CR22","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19\/20","author":"J. Jaffar","year":"1994","unstructured":"J. Jaffar M. Maher Constraint Logic Programming: A Survey Journal of Logic Programming, 19\/20:503\u2013581, 1994","journal-title":"Journal of Logic Programming"},{"key":"1_CR23","unstructured":"P. Kay, H. Simonis Building Industrial CHIP Applications from Reusable Software Components PAP95, Paris, April 1995"},{"key":"1_CR24","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1016\/S0747-7171(89)80013-6","volume":"7","author":"T. Nipkow","year":"1989","unstructured":"T. Nipkow, U. Martin Boolean Unification \u2014 The Story so far Journal of Symbolic Computation, 7:275\u2013293, 1989","journal-title":"Journal of Symbolic Computation"},{"key":"1_CR25","first-page":"421","volume-title":"The Fusion of Hardware Design and Verification","author":"H. Simonis","year":"1988","unstructured":"H. Simonis, N. Nguyen, M. Dincbas Verification of Digital Circuits using CHIP In G. Milne (Ed.), The Fusion of Hardware Design and Verification, pages 421\u2013442, North Holland, Amsterdam, 1988"},{"key":"1_CR26","unstructured":"H. Simonis, M. Dincbas Prepositional Calculus Problems in CHIP In A. Colmerauer and F. Benhamou, Editors, Constraint Logic Programming \u2014 Selected Research, pages 269\u2013285, MIT Press, 1993"},{"key":"1_CR27","doi-asserted-by":"crossref","unstructured":"H. Simonis, T. Cornelissens Modelling Producer\/Consumer Constraints Proc. Principles and Practice of Constraint Programming, Cassis, France, September 1995","DOI":"10.1007\/3-540-60299-2_27"},{"key":"1_CR28","volume-title":"Constraint Satisfaction in Logic Programming","author":"P. Hentenryck Van","year":"1989","unstructured":"P. Van Hentenryck. Constraint Satisfaction in Logic Programming. MIT Press, Boston, Ma, 1989."},{"issue":"No.1\u20133","key":"1_CR29","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/0004-3702(92)90006-J","volume":"58","author":"P. Hentenryck Van","year":"1992","unstructured":"P. Van Hentenryck, H. Simonis, M. Dincbas Constraint Satisfaction using Constraint Logic Programming Journal of Artificial Intelligence, Vol. 58, No.1\u20133,pp. 113\u2013161, USA, 1992","journal-title":"Journal of Artificial Intelligence"},{"key":"1_CR30","volume-title":"Generality versus Specificity: an Experience with AI and OR Techniques","author":"P. Hentenryck Van","year":"1988","unstructured":"P. Van Hentenryck, J-P. Carillon. Generality versus Specificity: an Experience with AI and OR Techniques, In American Association for Artificial Intelligence (AAAI-88), St. Paul, Mi, August 1988."}],"container-title":["Lecture Notes in Computer Science","Constraint Databases and Application"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60794-3_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:09:11Z","timestamp":1742598551000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60794-3_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540607946","9783540494560"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3-540-60794-3_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}