{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,19]],"date-time":"2025-11-19T06:51:34Z","timestamp":1763535094660},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540255604"},{"type":"electronic","value":"9783540321248"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11415763_10","type":"book-chapter","created":{"date-parts":[[2010,12,20]],"date-time":"2010-12-20T14:42:42Z","timestamp":1292856162000},"page":"149-165","source":"Crossref","is-referenced-by-count":3,"title":["Effective Modeling with Constraints"],"prefix":"10.1007","author":[{"given":"Roman","family":"Bart\u00e1k","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Baptiste, P., Le Pape, C.: Edge-finding constraint propagation algorithms for disjunctive and cumulative scheduling. In: Proceedings of the Fifteenth Workshop of the U.K. Planning Special Interest Group (1996)"},{"key":"10_CR2","unstructured":"Bart\u00e1k, R.: On-line Guide to Constraint Programming, Prague (1998), \n                    \n                      http:\/\/kti.mff.cuni.cz\/~bartak\/constraints\/"},{"key":"10_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0033845","volume-title":"Programming Languages: Implementations, Logics, and Programs","author":"M. Carlsson","year":"1997","unstructured":"Carlsson, M., Ottosson, G., Carlsson, B.: An Open-Ended Finite Domain Constraint Solver. In: Hartel, P.H., Kuchen, H. (eds.) PLILP 1997. LNCS, vol.\u00a01292. Springer, Heidelberg (1997)"},{"key":"10_CR4","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1023\/A:1009749006768","volume":"2","author":"E.C. Freuder","year":"1997","unstructured":"Freuder, E.C.: In Pursuit of the Holy Grail. Constraints: An International Journal\u00a02, 57\u201361 (1997)","journal-title":"Constraints: An International Journal"},{"key":"10_CR5","unstructured":"Golomb rulers: some results (2003), \n                    \n                      http:\/\/www.research.ibm.com\/people\/s\/shearer\/grtab.html"},{"issue":"1","key":"10_CR6","first-page":"32","volume":"13","author":"V. Kumar","year":"1992","unstructured":"Kumar, V.: Algorithms for Constraint Satisfaction Problems: A Survey. AI Magazine\u00a013(1), 32\u201344 (1992)","journal-title":"AI Magazine"},{"key":"10_CR7","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5625.001.0001","volume-title":"Programming with Constraints: An Introduction","author":"K. Mariot","year":"1998","unstructured":"Mariot, K., Stuckey, P.J.: Programming with Constraints: An Introduction. The MIT Press, Cambridge (1998)"},{"key":"10_CR8","unstructured":"R\u00e9gin, J.-C.: A filtering algorithm for constraints of difference in CSPs. In: Proceedings of 12th National Conference on Artificial Intelligence (1994)"},{"key":"10_CR9","unstructured":"SICStus Prolog 3.11.2 User\u2019s Manual"},{"key":"10_CR10","first-page":"351","volume-title":"Proceedings of CP-AI-OR 2001","author":"B. Smith","year":"2001","unstructured":"Smith, B.: Reducing Symmetry in a Combinatorial Design Problem. In: Proceedings of CP-AI-OR 2001, pp. 351\u2013359. Wye College, UK (2001)"},{"key":"10_CR11","volume-title":"Foundations of Constraint Satisfaction","author":"E. Tsang","year":"1995","unstructured":"Tsang, E.: Foundations of Constraint Satisfaction. Academic Press, London (1995)"}],"container-title":["Lecture Notes in Computer Science","Applications of Declarative Programming and Knowledge Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11415763_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:03:32Z","timestamp":1619492612000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11415763_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540255604","9783540321248"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/11415763_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}