{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T20:40:07Z","timestamp":1737060007707,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540430759"},{"type":"electronic","value":"9783540455752"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45575-2_43","type":"book-chapter","created":{"date-parts":[[2007,5,31]],"date-time":"2007-05-31T01:30:22Z","timestamp":1180575022000},"page":"446-456","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Using Constraint Solvers in CAD\/CAM Systems"],"prefix":"10.1007","author":[{"given":"Vitaly","family":"Telerman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,12,18]]},"reference":[{"key":"43_CR1","first-page":"95","volume":"7","author":"U. Montanari","year":"1974","unstructured":"Montanari, U. Networks of Constraints: Fundamental Properties and Application to Picture Processing, Information Science, V. 7, (1974), P. 95\u2013132.","journal-title":"Networks of Constraints: Fundamental Properties and Application to Picture Processing"},{"key":"43_CR2","series-title":"Lect Notes Comput Sci","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)."},{"key":"43_CR3","unstructured":"Telerman V., Ushakov D., Sidorov V. Object-Oriented Constraint Programming Environment NeMo+ and its Applications, Proc. of the 9th Internat. Conf. on Tools with Artificial Intelligence, ICTAI\u201997.\u2014 IEEE Computer Society, Newport Beach, California, USA, (1997)."},{"key":"43_CR4","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, No.5, (1983), 443\u2013452.","journal-title":"Computers and Artificial Intelligence"},{"key":"43_CR5","doi-asserted-by":"crossref","unstructured":"Telerman V., Ushakov D. Subdefinite Models as a Variety of Constraint Programming, Proc. of the 8th Internat. Conf. on Tools with Artificial Intelligence, ICTAI\u201996.\u2014 IEEE Computer Society, Toulouse, France, (1996), 157\u2013163.","DOI":"10.1109\/TAI.1996.560446"},{"key":"43_CR6","unstructured":"Ushakov D. Some Formal Aspects of Subdefinite Models. Preprint No. 49, A. P. Ershov Institute of Informatics Systems, Siberian Division of Russian Academy of Sciences, Novosibirsk, (1998), 23 p."},{"key":"43_CR7","unstructured":"Telerman V., Ushakov D. Data Types in Subdefinite Models, Lect. Notes in Comp. Sci. 1138 (1996), pp. 305\u2013319."},{"key":"43_CR8","unstructured":"Telerman V., Sidorov V., Ushakov D. Interval and Multi-interval Extensions in Subdefinite Models, Intern. Conf. on Interval Methods and Computer Aided Proofs in Science and Engineering (INTERVAL\u201996), Wurzburg, (1996), 131\u2013132."},{"key":"43_CR9","unstructured":"Lipski S., Sidorov V., Telerman V., Ushakov D. Database Processing in Constraint Programming Paradigm Based on Subde.nite Models, Joint NCC and IIS Bulletin, Comp.Science, No. 12, Novosibirsk, (1999), 29\u201331."},{"key":"43_CR10","unstructured":"Brown Associates Inc. Applicon\u2019s GCE: a strong technical framework, June 1993."},{"key":"43_CR11","unstructured":"Thornton A.C. Constraint specification and satisfaction in embodiment design, PhD thesis, University of Cambridge, 1993."},{"key":"43_CR12","doi-asserted-by":"crossref","unstructured":"Narin\u2019yani A.S., Borde S.B., Ivanov D.A. Subdefinite Mathematics and Novel Scheduling Technology, Artificial Intelligence in Engineering, 11, (1997).","DOI":"10.1016\/0954-1810(96)00015-5"}],"container-title":["Lecture Notes in Computer Science","Perspectives of System Informatics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45575-2_43","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T20:13:03Z","timestamp":1737058383000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45575-2_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540430759","9783540455752"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-45575-2_43","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"18 December 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}