{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:17:07Z","timestamp":1725664627320},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540594796"},{"type":"electronic","value":"9783540492818"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59479-5_18","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:18:05Z","timestamp":1330276685000},"page":"51-66","source":"Crossref","is-referenced-by-count":0,"title":["High-level constraints over finite domains"],"prefix":"10.1007","author":[{"given":"M. Anton","family":"Ertl","sequence":"first","affiliation":[]},{"given":"Andreas","family":"Krall","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"3_CR1","unstructured":"Mats Carlsson. Freeze, indexing and other implementation issues in the WAM. In Fourth International Conference on Logic Programming (ICLP-4), pages 40\u201358. MIT Press, 1987."},{"key":"3_CR2","unstructured":"Phillippe Codognet, Fran\u00e7ois Fages, and Thierry Sola. A metalevel compiler of CLP(FD) and its combination with intelligent backtracking. In Fr\u00e9d\u00e9ric Benhamou and Alain Colmerauer, editors, Constraint Logic Programming: Selected Research, pages 437\u2013456. MIT Press, 1993."},{"key":"3_CR3","first-page":"253","volume-title":"Logic Programming","author":"K. L. Clark","year":"1982","unstructured":"K. L. Clark, F. G. McCabe, and S. Gregory. IC-Prolog language features. In K. L. Clark and S.-A. T\u00e4rnlund, editors, Logic Programming, pages 253\u2013266. Academic Press, London, 1982."},{"key":"3_CR4","unstructured":"Daniel Diaz and Phillippe Codognet. A minimal extension of the WAM for clp(fd). In International Conference on Logic Programming (ICLP), pages 774\u2013790, 1993."},{"key":"3_CR5","unstructured":"M. Dincbas, H. Simonis, and P. Van Hentenryck. Solving the Car Sequencing Problem in Constraint Logic Programming. In European Conference on Artificial Intelligence (ECAI-88), M\u00fcnchen, 1988."},{"key":"3_CR6","unstructured":"Thom Fr\u00fchwirth. Constraint simplification rules. Technical Report ECRC-92-18?, ECRC, 1992."},{"key":"3_CR7","volume-title":"PhD thesis","author":"C. Holzbaur","year":"1990","unstructured":"Christian Holzbaur. Implementation of Constraint Based Inference Mechanisms through Extended Unification. PhD thesis, Technische Universit\u00e4t Wien, 1990."},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Joxan Jaffar and Jean-Louis Lassez. Constraint logic programming. In Fourteenth Annual ACM Symposium on Principles of Programming Languages (POPL), pages 111\u2013119, M\u00fcnchen, 1987.","DOI":"10.1145\/41625.41635"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Jean Jourdan and Thierry Sola. The versatility of handling disjunctions as constraints. In Programming Language Implementation and Logic Programming (PLILP), pages 60\u201374, 1993.","DOI":"10.1007\/3-540-57186-8_71"},{"key":"3_CR10","first-page":"245","volume":"631","author":"A. Krall","year":"1992","unstructured":"Andreas Krall and Thomas Berger. Fast Prolog with a VAM1p\n based Prolog compiler. In Programming Language Implementation and Logic Programming (PLILP '92), pages 245\u2013259. Springer LNCS 631, 1992.","journal-title":"Springer LNCS"},{"key":"3_CR11","first-page":"1004","volume-title":"Domain independent propagation","author":"T. Provost Le","year":"1992","unstructured":"Thierry Le Provost and Mark Wallace. Domain independent propagation. In Proceedings of the International Conference on Fifth Generation Computer Systems, pages 1004\u20131011, ICOT, Japan, 1992. Association for Computing Machinery."},{"key":"3_CR12","unstructured":"Lee Naish. Negation and Control in Prolog. Springer LNCS 238, 1986."},{"key":"3_CR13","unstructured":"Ulrich Neumerkel. Extensible unification by metastructures. In Meta-90, Leuven, 1990."},{"issue":"4","key":"3_CR14","doi-asserted-by":"crossref","first-page":"601","DOI":"10.1111\/j.1467-8640.1992.tb00381.x","volume":"8","author":"G. Sidebottom","year":"1992","unstructured":"Gregory Sidebottom and William S. Havens. Hierarchical arc consistency for disjoint real intervals in constraint logic programming. Computational Intelligence, 8(4):601\u2013623, 1992.","journal-title":"Computational Intelligence"},{"key":"3_CR15","unstructured":"Greg Sidebottom. Compiling constraint logic programming using interval computations and branching constructs. Technical report, Simon Fraser University, 1993."},{"key":"3_CR16","unstructured":"Andrew Taylor. LIPS on a MIPS. In Seventh International Conference on Logic Programming (ICLP-7), pages 174\u2013185. MIT Press, 1990."},{"key":"3_CR17","series-title":"Logic Programming Series","volume-title":"Constraint Satisfaction in Logic Programming","author":"P. Hentenryck Van","year":"1989","unstructured":"Pascal Van Hentenryck. Constraint Satisfaction in Logic Programming. Logic Programming Series. MIT Press, Cambridge, Massachusetts, 1989."},{"key":"3_CR18","unstructured":"Pascal Van Hentenryck and Yves Deville. The cardinality operator: A new logical connective for constraint logic programming. In Eighth International Conference on Logic Programming (ICLP-8), pages 745\u2013759. MIT Press, 1991."},{"key":"3_CR19","unstructured":"Pascal Van Hentenryck, Vijay Saraswat, and Yves Deville. Constraint processing in cc(FD). Ftp from parcftp.xerox.com, file pub\/ccp\/ccfd\/pldi-5.ps, 1991."}],"container-title":["Lecture Notes in Computer Science","Constraint Processing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59479-5_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:27:43Z","timestamp":1619573263000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59479-5_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540594796","9783540492818"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-59479-5_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}