{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:05:37Z","timestamp":1725483937977},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540678397"},{"type":"electronic","value":"9783540449140"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44914-0_23","type":"book-chapter","created":{"date-parts":[[2007,5,22]],"date-time":"2007-05-22T17:26:14Z","timestamp":1179854774000},"page":"317-319","source":"Crossref","is-referenced-by-count":0,"title":["Program Synthesis and Transformation Techniques for Simulation, Optimization, and Constraint Satisfaction"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Ellman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,8,11]]},"reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"T. Ellman, J. Keane, A. Banerjee, and G. Armhold. A transformation system for interactive reformulation of design optimization strategies. 1998.","DOI":"10.1007\/BF01580268"},{"issue":"5","key":"23_CR2","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1017\/S0890060400003309","volume":"11","author":"T. Ellman","year":"1997","unstructured":"T. Ellman, J. Keane, M. Schwabacher, and K. Yao. Multi-level modeling for engineering design optimization. Artificial Intelligence for Engineering Design, Analysis, and Manufacturing, 11(5):357\u2013378, 1997.","journal-title":"Artificial Intelligence for Engineering Design, Analysis, and Manufacturing"},{"key":"23_CR3","unstructured":"T. Ellman. Abstraction via approximate symmetry. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, Chambery, France, August 1993."},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"T. Ellman. Synthesis of abstraction hierarchies for constraint satisfaction by clustering approximately equivalent objects. In Proceedings of the Tenth International Conference on Machine Learning, Amherst, MA, 1993.","DOI":"10.1016\/B978-1-55860-307-3.50020-4"},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"T. Ellman and T. Murata. Deductive synthesis of numerical simulation programs from networks of algebraic and ordinary differential equations. Automated Software Engineering, 5(3), 1998.","DOI":"10.1023\/A:1008604724481"}],"container-title":["Lecture Notes in Computer Science","Abstraction, Reformulation, and Approximation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44914-0_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T03:01:20Z","timestamp":1556420480000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44914-0_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678397","9783540449140"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/3-540-44914-0_23","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}