{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:15:56Z","timestamp":1725664556029},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540620648"},{"type":"electronic","value":"9783540496373"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-62064-8_8","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:33:29Z","timestamp":1330277609000},"page":"80-90","source":"Crossref","is-referenced-by-count":1,"title":["Application of subdefinite models for solving constraint satisfaction problems"],"prefix":"10.1007","author":[{"given":"T. M.","family":"Yakhno","sequence":"first","affiliation":[]},{"given":"E. S.","family":"Petrov","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"issue":"7","key":"8_CR1","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1145\/79204.79209","volume":"33","author":"J. Cohen","year":"1990","unstructured":"Jacques Cohen. Constraint logic programming languages. Communications of the ACM, 33(7):52\u201368, July 1990.","journal-title":"Communications of the ACM"},{"issue":"7","key":"8_CR2","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":"8_CR3","unstructured":"Y. Caseau and J.-F. Puget. Constraints on order-sorted domains. In Thomas Schiex, editor, Proceedings ECAI'94 Workshop on Constraint Satisfaction Issues raised by Practical Applications, Amsterdam, August 1994."},{"key":"8_CR4","unstructured":"A. Dovier and G. Rossi. Embedding extensional finite sets in CLP. In ILPS'93: Proceedings 3rd International Logic Programming Symposium, Vancouver, 1993."},{"key":"8_CR5","volume-title":"FGCS'88","author":"M. Dincbas","year":"1988","unstructured":"M. Dincbas, H. Simonis, A. Aggoun P. Van Hentenryck, T. Graf, and E. Berthier. The constraint logic programming language CHIP. In FGCS'88, Tokyo, November 1988. ICOT."},{"key":"8_CR6","unstructured":"ECRC. ECLiPSe 3.5 ECRC Common Logic Programming System, 1995."},{"key":"8_CR7","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/0004-3702(92)90004-H","volume":"58","author":"E. C. Freuder","year":"1992","unstructured":"Eugene C. Freuder and Richard J. Wallace. Partial constraint satisfaction. Artificial Intelligence, 58:21\u201370, 1992.","journal-title":"Artificial Intelligence"},{"key":"8_CR8","unstructured":"Carmen Gervet. Conjunto: Constraint logic programming with finite set domains. In M. Bruynooghe, editor, ILPS'94, pages 339\u2013358, 1994."},{"key":"8_CR9","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/0004-3702(92)90005-I","volume":"58","author":"E. Hyv\u00f6nen","year":"1992","unstructured":"Eero Hyv\u00f6nen. Constraint reasoning based on interval arithmetic: the tolerance propagation approach. Artificial Intelligence, 58:71\u2013112, 1992.","journal-title":"Artificial Intelligence"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"B. Legeard and E. Legros. Short overview of the CLPS system. In Proceedings of PLILP'91, Passau, Germany, August 1991.","DOI":"10.1007\/3-540-54444-5_123"},{"issue":"1","key":"8_CR11","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"A. K. Mackworth","year":"1977","unstructured":"Alan K. Mackworth. Consistency in networks of relations. Artificial Intelligence, 8(1):99\u2013118, 1977.","journal-title":"Artificial Intelligence"},{"volume-title":"NATO Advanced Science Institute Series","year":"1994","key":"8_CR12","unstructured":"B. Mayoh, E. Tyugu, and J. Penjaam, editors. Constraint Programming: Proceedings 1993 NATO ASI Parnu, Estonia, NATO Advanced Science Institute Series. Springer-Verlag, 1994."},{"issue":"5","key":"8_CR13","first-page":"443","volume":"2","author":"A. S. Narinyani","year":"1983","unstructured":"Alexander S. Narinyani. Subdefiniteness and basic means of knowledge representation. Computers and Artificial Intelligence, 2(5):443\u2013452, 1983.","journal-title":"Computers and Artificial Intelligence"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"J.T. Schwartz, R.B.K. Dewar, E. Dubinsky, and E. Schonberg. Programming with Sets. An Introduction to SETL. Texts and Monographs in Computer Science. Springer-Verlag, 1986.","DOI":"10.1007\/978-1-4613-9575-1"},{"key":"8_CR15","volume-title":"Constraint Satisfaction in Logic Programming","author":"P. Hentenryck Van","year":"1989","unstructured":"Pascal Van Hentenryck. Constraint Satisfaction in Logic Programming. MIT Press, Cambridge, MA, 1989."},{"key":"8_CR16","first-page":"181","volume-title":"CLP(\u03a3 *): Constraint logic programming with regular sets","author":"C. Walinsky","year":"1989","unstructured":"Clifford Walinsky. CLP(\u03a3 *): Constraint logic programming with regular sets. In Giorgio Levi and Maurizio Martelli, editors, ICLP'89: Proceedings 6th International Conference on Logic Programming, pages 181\u2013196, Lisbon, Portugal, June 1989. MIT Press."},{"key":"8_CR17","unstructured":"T.M. Yakhno. Constraint programming: survey and classification of approaches and methods, volume 4 of System Informatics, pages 160\u2013193. Nauka, 1995."}],"container-title":["Lecture Notes in Computer Science","Perspectives of System Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-62064-8_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T06:09:40Z","timestamp":1640930980000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-62064-8_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540620648","9783540496373"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-62064-8_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}