{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,18]],"date-time":"2026-02-18T23:41:20Z","timestamp":1771458080141,"version":"3.50.1"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,3]]},"DOI":"10.1109\/icit.2016.7474875","type":"proceedings-article","created":{"date-parts":[[2016,6,23]],"date-time":"2016-06-23T12:36:46Z","timestamp":1466685406000},"page":"922-927","source":"Crossref","is-referenced-by-count":19,"title":["Towards a fully automated 3D printability checker"],"prefix":"10.1109","author":[{"given":"Tianxiang","family":"Lu","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/75246.75269"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-015-9328-2"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38574-2_14"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)90033-7"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(82)90020-0"},{"key":"ref15","author":"friedman-hill","year":"2003","journal-title":"JESS in Action"},{"key":"ref16","first-page":"198","author":"ostermayer","year":"2013","journal-title":"Simplifying the development of rules using domain specific languages in drools"},{"key":"ref17","article-title":"IBM operational decision manager advanced","year":"0"},{"key":"ref18","article-title":"3d printability verifier codes","author":"lu","year":"2015"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2768577.2768579"},{"key":"ref4","author":"hanselman","year":"2015","journal-title":"The basics of 3D printing in 2015 - from someone with 16 whole hours' experience"},{"key":"ref3","article-title":"How is software advancing 3D printing?","author":"baya","year":"2014","journal-title":"PWC Emerging Technology blog"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044451104-1\/50021-6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/0010-4485(80)90025-1"},{"key":"ref8","author":"fischer","year":"1998","journal-title":"Super-exponential complexity of Pres-burger arithmetic"},{"key":"ref7","author":"caviness","year":"2012","journal-title":"Quantifier Elimination and Cylindrical Algebraic Decomposition"},{"key":"ref2","article-title":"The time to think about the 3d-printed future is now","author":"d'aveni","year":"2015","journal-title":"Havard business review"},{"key":"ref9","author":"bik","year":"1994","journal-title":"Implementation of Fourier-Motzkin Elimination"},{"key":"ref1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4939-2113-3","author":"gibson","year":"2015","journal-title":"Additive Manufacturing Technologies"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/34.683777"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21569-8_34"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1961189.1961199"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-12154-3_4"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/1360612.1360641"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1080\/16864360.2005.10738363"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/636594.636595"}],"event":{"name":"2016 IEEE International Conference on Industrial Technology (ICIT)","location":"Taipei","start":{"date-parts":[[2016,3,14]]},"end":{"date-parts":[[2016,3,17]]}},"container-title":["2016 IEEE International Conference on Industrial Technology (ICIT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7468873\/7474713\/07474875.pdf?arnumber=7474875","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,9]],"date-time":"2019-09-09T23:13:50Z","timestamp":1568070830000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7474875\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,3]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/icit.2016.7474875","relation":{},"subject":[],"published":{"date-parts":[[2016,3]]}}}