{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:54:52Z","timestamp":1775012092981,"version":"3.50.1"},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2001,3,1]],"date-time":"2001-03-01T00:00:00Z","timestamp":983404800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2001,3,1]],"date-time":"2001-03-01T00:00:00Z","timestamp":983404800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Programming and Computer Software"],"published-print":{"date-parts":[[2001,3]]},"DOI":"10.1023\/a:1011002911535","type":"journal-article","created":{"date-parts":[[2002,12,23]],"date-time":"2002-12-23T03:38:49Z","timestamp":1040614729000},"page":"95-100","source":"Crossref","is-referenced-by-count":0,"title":["Subdefinite Models and Logic Programming: Implementation of Constraints"],"prefix":"10.1007","volume":"27","author":[{"given":"E. S.","family":"Petrov","sequence":"first","affiliation":[]},{"given":"T. M.","family":"Yakhno","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"5","key":"302925_CR1","first-page":"13","volume":"3","author":"A. Babichev","year":"1992","unstructured":"Babichev, A., Kadyrova, O., Kashevarova, T., and Semenov, A., Unicalc\u2014As a Tool for Solving Problems with Inaccurate and Sub-definite Data, Interval Computations, 1992, vol. 3, no. 5, pp. 13\u201316.","journal-title":"Interval Computations"},{"key":"302925_CR2","unstructured":"Benhamou, F., Bouvier, F., Colmerauer, A., Garreta, H., Gilleta, B., Massat, J.-L., and Narboni, G., Le manuel de Prolog IV, 1996."},{"key":"302925_CR3","unstructured":"Benhamou, F. and Older, W.J., Programming in CLP(BNR), in Proc. Int. Conf. Principle and Practice of Constraint Programming, Newport, USA, 1994."},{"key":"302925_CR4","doi-asserted-by":"crossref","unstructured":"Devillers, O., Improved Incremental Randomized Delaunay Triangulation, Proc. of the 14th ACM Symp. on Computational Geometry, 1998.","DOI":"10.1145\/276884.276896"},{"key":"302925_CR5","unstructured":"ECRC, ECLiPSe 3.5: ECRC Common Logic Programming System. User's Guide, 1995."},{"key":"302925_CR6","volume-title":"Modern Portfolio Theory and Investment Analysis","author":"E.J. Elton","year":"1995","unstructured":"Elton, E.J. and Gruber, M.J., Modern Portfolio Theory and Investment Analysis, New York: Willey, 1995."},{"key":"302925_CR7","first-page":"191","volume-title":"Constraints","author":"C. Gervet","year":"1997","unstructured":"Gervet, C., Interval Propagation to Reason about Sets: Definition and Implementation of a Practical Language, in Constraints, Berlin: Kluwer, 1997, vol. 3, pp. 191\u2013244."},{"key":"302925_CR8","unstructured":"Goubault, J., Une implementation efficace de structure de donn\u00e9es ensemblistes fond\u00e9es sur le hash-consing, in Journ\u00e9es francophones des langages applicatifs (JFLA), Annecy, France, 1993, pp. 222\u2013238."},{"key":"302925_CR9","doi-asserted-by":"crossref","unstructured":"Holzbauer, C., Metastructures Versus Attributed Variables in the Context of Extensible Unification, Proc. 3rd Int. Workshop on Programming Languages Implementation and Logic Programming, 1992, pp. 260\u2013268.","DOI":"10.1007\/3-540-55844-6_141"},{"key":"302925_CR10","unstructured":"Constraint Programming, NATO Advanced Science Institute Series, Ser. F, Mayoh, B., Tyugu, E., and Pejaam, J., Eds., Springer, 1994."},{"issue":"5","key":"302925_CR11","first-page":"443","volume":"2","author":"A.S. Narinyani","year":"1983","unstructured":"Narinyani, A.S., Subdefiniteness and Basic Means of Knowledge Representation, Comput. Artificial Intelligence, 1983, vol. 2, no. 5, pp. 443\u2013452.","journal-title":"Comput. Artificial Intelligence"},{"key":"302925_CR12","doi-asserted-by":"crossref","unstructured":"Narinyani, A.S., Borde, S.B., and Ivanov, D.A., Subdefinite Mathematics and Novel Scheduling Techniques, Artificial Intelligence Eng., 1997, vol. 11.","DOI":"10.1016\/0954-1810(96)00015-5"},{"key":"302925_CR13","unstructured":"Petrov, E. and Yakhno, T., Extensional Set Library for ECLiPSe, in Proc. Int. Conf. Practical Application of Constraint Logic Programming, The Practical Application Company Ltd, 2000, pp. 253\u2013270."},{"key":"302925_CR14","unstructured":"Puget, J.-F., A C++ Implementation of CLP, Proc. SPICIS, Singapore, 1994."},{"key":"302925_CR15","first-page":"534","volume":"1330","author":"I.E. Shvetsov","year":"1997","unstructured":"Shvetsov, I.E., Telerman, V.V., and Ushakov, D.M., NeMo+: Object-Oriented Constraint Programming Environment Based on Subdefinite Models, Principles and Practice of Constraint Programming (Proc. 3rd Int. Conf.); Lecture Notes in Computer Sciences, Springer, 1997, vol. 1330, pp. 534\u2013548.","journal-title":"Principles and Practice of Constraint Programming (Proc. 3rd Int. Conf.); Lecture Notes in Computer Sciences, Springer"},{"key":"302925_CR16","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5073.001.0001","volume-title":"Numerica: A Modelling Language for Global Optimization","author":"P. Van Henteryck","year":"1997","unstructured":"Van Henteryck, P., Michel, L., and Deville, Y., Numerica: A Modelling Language for Global Optimization, Cambridge, MA: MIT, 1997."},{"key":"302925_CR17","first-page":"357","volume-title":"Practical Application of Constraint Technology","author":"T.M. Yakhno","year":"1996","unstructured":"Yakhno, T.M. and Petrov, E.S., LogiCalc: Integrating Constraint Programming and Subdefinite Models, in Practical Application of Constraint Technology, London, UK: Westminster Central Hall, 1996, pp. 357\u2013372."},{"key":"302925_CR18","first-page":"116","volume-title":"Knowledge-Based Software Engineering","author":"T.M. Yakhno","year":"1998","unstructured":"Yakhno, T.M. and Petrov, E.S., Constraint Programming for Knowledge Representation, in Knowledge-Based Software Engineering, Ueno, H. and Navrat, P., Eds., Amsterdam: IOS, 1998, pp. 116\u2013126."},{"key":"302925_CR19","unstructured":"Yakhno, T.M., Zilberfaine, V.Z., and Petrov, E.S., Applications of ECLiPSe: Interval Domain Library, The ICL Systems J., 1997, pp. 35\u201350."}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1011002911535.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1011002911535","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1011002911535.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T01:52:12Z","timestamp":1775008332000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1011002911535"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,3]]},"references-count":19,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2001,3]]}},"alternative-id":["302925"],"URL":"https:\/\/doi.org\/10.1023\/a:1011002911535","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2001,3]]}}}