{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:29:38Z","timestamp":1750220978941,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,6,16]],"date-time":"2019-06-16T00:00:00Z","timestamp":1560643200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,6,16]]},"DOI":"10.1145\/3328939.3329004","type":"proceedings-article","created":{"date-parts":[[2019,6,18]],"date-time":"2019-06-18T12:14:30Z","timestamp":1560860070000},"page":"1-12","source":"Crossref","is-referenced-by-count":5,"title":["Echidna"],"prefix":"10.1145","author":[{"given":"Devon J.","family":"Merrill","sequence":"first","affiliation":[{"name":"UC San Diego"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jorge","family":"Garza","sequence":"additional","affiliation":[{"name":"UC San Diego"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steven","family":"Swanson","sequence":"additional","affiliation":[{"name":"UC San Diego"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,6,16]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2014. EDAsolver - Automatic component selection and pin matching. (2014). http:\/\/edasolver.com\/ Accessed: 2018-04-05.  2014. EDAsolver - Automatic component selection and pin matching. (2014). http:\/\/edasolver.com\/ Accessed: 2018-04-05."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3126594.3126637"},{"volume-title":"Jitpcb. In 2016 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE.","author":"Jonathan","key":"e_1_3_2_1_3_1"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3072959.3073700"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786784.2786803"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2502524.2502539"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2522628.2541251"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792766"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2980179.2982427"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38574-2_14"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"Antonio Iannopollo Stavros Tripakis and Alberto Sangiovanni-Vincentelli. 2017. Constrained Synthesis from Component Libraries. Springer International Publishing Cham 92--110.  Antonio Iannopollo Stavros Tripakis and Alberto Sangiovanni-Vincentelli. 2017. Constrained Synthesis from Component Libraries. Springer International Publishing Cham 92--110.","DOI":"10.1007\/978-3-319-57666-4_7"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2766912"},{"key":"e_1_3_2_1_13_1","unstructured":"Yoad Lustig and Moshe Y. Vardi. 2009. Synthesis from Component Libraries. Foundations of Software Science and Computational Structures Lecture Notes in Computer Science (2009) 395\u00e2\u0102\u015e409.  Yoad Lustig and Moshe Y. Vardi. 2009. Synthesis from Component Libraries. Foundations of Software Science and Computational Structures Lecture Notes in Computer Science (2009) 395\u00e2\u0102\u015e409."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2816795.2818137"},{"volume-title":"Proceedings of the 50th ACM Technical Symposium on Computer Science Education - SIGCSE 19","year":"2019","author":"Devon","key":"e_1_3_2_1_15_1"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"Aaron Meurer Christopher P. Smith Mateusz Paprocki Ond\u0159ej \u010cert\u00edk Sergey B. Kirpichev Matthew Rocklin AMiT Kumar Sergiu Ivanov Jason K. Moore Sartaj Singh Thilina Rathnayake Sean Vig Brian E. Granger Richard P. Muller Francesco Bonazzi Harsh Gupta Shivam Vats Fredrik Johansson Fabian Pedregosa Matthew J. Curry Andy R. Terrel \u0160t\u011bp\u00e1n Rou\u010dka Ashutosh Saboo Isuru Fernando Sumith Kulal Robert Cimrman and Anthony Scopatz. 2017. SymPy: symbolic computing in Python. PeerJ Computer Science 3 (Jan. 2017) e103.  Aaron Meurer Christopher P. Smith Mateusz Paprocki Ond\u0159ej \u010cert\u00edk Sergey B. Kirpichev Matthew Rocklin AMiT Kumar Sergiu Ivanov Jason K. Moore Sartaj Singh Thilina Rathnayake Sean Vig Brian E. Granger Richard P. Muller Francesco Bonazzi Harsh Gupta Shivam Vats Fredrik Johansson Fabian Pedregosa Matthew J. Curry Andy R. Terrel \u0160t\u011bp\u00e1n Rou\u010dka Ashutosh Saboo Isuru Fernando Sumith Kulal Robert Cimrman and Anthony Scopatz. 2017. SymPy: symbolic computing in Python. PeerJ Computer Science 3 (Jan. 2017) e103.","DOI":"10.7717\/peerj-cs.103"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/FSCS.1990.89597"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3083157.3083159"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3083157.3083159"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2785585.2792691"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2601097.2601127"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168918.1168907"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3130800.3130803"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3072959.3073710"}],"event":{"name":"SCF '19: Symposium on Computational Fabrication","sponsor":["SIGGRAPH ACM Special Interest Group on Computer Graphics and Interactive Techniques"],"location":"Pittsburgh Pennsylvania","acronym":"SCF '19"},"container-title":["Proceedings of the ACM Symposium on Computational Fabrication"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3328939.3329004","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3328939.3329004","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:54:41Z","timestamp":1750204481000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3328939.3329004"}},"subtitle":["mixed-domain computational implementation via decision trees"],"short-title":[],"issued":{"date-parts":[[2019,6,16]]},"references-count":24,"alternative-id":["10.1145\/3328939.3329004","10.1145\/3328939"],"URL":"https:\/\/doi.org\/10.1145\/3328939.3329004","relation":{},"subject":[],"published":{"date-parts":[[2019,6,16]]}}}