{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:19:56Z","timestamp":1725484796151},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540430759"},{"type":"electronic","value":"9783540455752"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45575-2_42","type":"book-chapter","created":{"date-parts":[[2007,5,30]],"date-time":"2007-05-30T21:30:22Z","timestamp":1180560622000},"page":"434-445","source":"Crossref","is-referenced-by-count":0,"title":["Hierarchical Constraint Satisfaction Based on Subdefinite Models"],"prefix":"10.1007","author":[{"given":"Dmitry","family":"Ushakov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,12,18]]},"reference":[{"issue":"5","key":"42_CR1","first-page":"443","volume":"2","author":"A.S. Narin\u2019yani","year":"1983","unstructured":"Narin\u2019yani, A.S.: Subdefiniteness and Basic Means of Knowledge Representation. Computers and Artificial Intelligence, Bratislawa 2(5) (1983) 443\u2013452","journal-title":"Computers and Artificial Intelligence, Bratislawa"},{"key":"42_CR2","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"A.K. Mackworth","year":"1977","unstructured":"Mackworth, A.K.: Consistency in Networks of Relations. Art. Int. 8 (1977) 99\u2013118","journal-title":"Art. Int."},{"key":"42_CR3","unstructured":"Ushakov, D.: Some Formal Aspects of Subdefinite Models. Preprint of A. P. Ershov Institute of Informatics Systems, Novosibirsk 49 (1998) (Also available via \n                    http:\/\/www.iis.nsk.su\/preprints\/USHAKOV\/PREPRINT\/Preprint_eng.html\n                    \n                  )"},{"key":"42_CR4","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/BF01807506","volume":"5","author":"A. Borning","year":"1992","unstructured":"Borning, A., Freeman-Benson, B., Wilson, M.: Constraint Hierarchies. Lisp and Symbolic Computation 5 (1992) 223\u2013270","journal-title":"Lisp and Symbolic Computation"},{"key":"42_CR5","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Models and Equality for Logical Programming","author":"J.A. Goguen","year":"1987","unstructured":"Goguen, J.A., Meseguer, J.: Models and Equality for Logical Programming. LNCS 250 (1987) 1\u201322"},{"key":"42_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"534","DOI":"10.1007\/BFb0017465","volume-title":"NeMo+: Object-Oriented Constraint Programming Environment Based on Subdefinite Models","author":"I. Shvetsov","year":"1997","unstructured":"Shvetsov, I., Telerman, V., Ushakov, D.: NeMo+: Object-Oriented Constraint Programming Environment Based on Subdefinite Models. LNCS 1330 (1997) 534\u2013548"},{"key":"42_CR7","doi-asserted-by":"crossref","unstructured":"Borning, A., Anderson, R., Freeman-Benson, B.: Indigo: A local propagation algorithm for inequality constraints. Proc. 1996 ACM Symp. on User Interface Software and Technology (1996) 129\u2013136","DOI":"10.1145\/237091.237110"},{"key":"42_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1007\/BFb0017462","volume-title":"Compiling Constraint Solving Using Projection","author":"W. Harvey","year":"1997","unstructured":"Harvey, W., Stuckey, P.J., Borning, A.: Compiling Constraint Solving Using Projection. LNCS 1330 (1997) 491\u2013505"}],"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-45575-2_42","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T20:19:17Z","timestamp":1550348357000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45575-2_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540430759","9783540455752"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-45575-2_42","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}