{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:10:36Z","timestamp":1725664236366},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540602996"},{"type":"electronic","value":"9783540447887"}],"license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"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":[[1995]]},"DOI":"10.1007\/3-540-60299-2_39","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T18:15:26Z","timestamp":1330280126000},"page":"629-635","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Model-based computing: Using concurrent constraint programming for modeling and model compilation"],"prefix":"10.1007","author":[{"given":"Markus P. J.","family":"Fromherz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vijay A.","family":"Saraswat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"39_CR1","unstructured":"AAAI. AAAI'90 Workshop on Model Based Reasoning, July 1990."},{"key":"39_CR2","doi-asserted-by":"crossref","unstructured":"B. Chandrasekaran and R. Milne, editors. Special Section on Reasoning about Structure, Behavior and Function. Sigart Newsletter, 93:4\u201355, 1985.","DOI":"10.1145\/1056557.1056561"},{"key":"39_CR3","unstructured":"M. Fromherz and B. Carlson. Optimal Incremental and Anytime Scheduling. In P. Lim and J. Jourdan, editors, Proc. Workshop on Constraint Languages\/Systems and their Use in Problem Modelling at ILPS'94, pages 45\u201359. ECRC, TR 94-38, Nov. 1993."},{"key":"39_CR4","doi-asserted-by":"crossref","unstructured":"A. Goel, editor. Knowledge Compilation. IEEE Expert, 6(2):71\u201393, 1991.","DOI":"10.1109\/64.79712"},{"issue":"2","key":"39_CR5","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1049\/ise.1994.0010","volume":"3","author":"P. Prosser","year":"1994","unstructured":"P. Prosser and I. Buchanan. Intelligent Scheduling: Past, Present, and Future. Intelligent Systems Engineering, 3(2):67\u201378, 1994.","journal-title":"Intelligent Systems Engineering"},{"key":"39_CR6","volume-title":"Doctoral Dissertation Award and Logic Programming Series","author":"V. A. Saraswat","year":"1993","unstructured":"V. A. Saraswat. Concurrent Constraint Programming. Doctoral Dissertation Award and Logic Programming Series. MIT Press, Cambridge, MA, 1993."},{"key":"39_CR7","first-page":"137","volume-title":"Intelligent Scheduling","author":"P. Hentenryck Van","year":"1994","unstructured":"P. Van Hentenryck. Scheduling and Packing in the Constraint Language CC(FD). [10], 137\u2013167."},{"key":"39_CR8","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1007\/BF03037165","volume":"9","author":"P. Hentenryck Van","year":"1991","unstructured":"P. Van Hentenryck and T. Le Provost. Incremental Search in Constraint Logic Programming. New Generation Computing, (9):257\u2013275, 1991.","journal-title":"New Generation Computing"},{"key":"39_CR9","volume-title":"Readings in Qualitative Reasoning about Physical Systems","author":"D. S. Weld","year":"1990","unstructured":"D. S. Weld and J. de Kleer. Readings in Qualitative Reasoning about Physical Systems. Morgan Kaufmann, San Mateo, Calif., 1990."},{"volume-title":"Intelligent Scheduling","year":"1994","key":"39_CR10","unstructured":"M. Zweben, and M. S. Fox, editors. Intelligent Scheduling. Morgan Kaufmann, San Francisco, CA, 1994."}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2014 CP '95"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60299-2_39","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T12:28:15Z","timestamp":1558268895000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60299-2_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540602996","9783540447887"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-60299-2_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]},"assertion":[{"value":"1 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}