{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T15:18:47Z","timestamp":1774365527981,"version":"3.50.1"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,1]]},"DOI":"10.1109\/aspdac.2016.7428057","type":"proceedings-article","created":{"date-parts":[[2016,3,10]],"date-time":"2016-03-10T16:48:08Z","timestamp":1457628488000},"page":"474-479","source":"Crossref","is-referenced-by-count":46,"title":["BDD minimization for approximate computing"],"prefix":"10.1109","author":[{"given":"Mathias","family":"Soeken","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Grobe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arun","family":"Chandrasekharan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"72","article-title":"Unveiling the IS CAS-85 benchmarks: A case study in reverse engineering","volume":"16","author":"hansen","year":"1999","journal-title":"D& T"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2001.915077"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2003.811100"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1995.480006"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/43.543775"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837491"},{"key":"ref16","first-page":"957","article-title":"Approximate logic synthesis for error tolerant applications","author":"shin","year":"2010","journal-title":"DAC"},{"key":"ref17","first-page":"1566","article-title":"A new circuit simplification method for error tolerant applications","author":"shin","year":"2011","journal-title":"DATE"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228504"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2011.6105401"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837492"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1995.480018"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2150976.2151008"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"112","DOI":"10.1007\/s100090100056","article-title":"Binary decision diagrams in theory and practice","volume":"3","author":"drechsler","year":"2001","journal-title":"STTT"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2012.2217962"},{"key":"ref7","author":"fog","year":"1996","journal-title":"How to optimize for the Pentium processor"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837493"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/12.537122"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ETS.2013.6569370"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1629911.1629984"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2015.7059000"}],"event":{"name":"2016 21st Asia and South Pacific Design Automation Conference (ASP-DAC)","location":"Macao, Macao","start":{"date-parts":[[2016,1,25]]},"end":{"date-parts":[[2016,1,28]]}},"container-title":["2016 21st Asia and South Pacific Design Automation Conference (ASP-DAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7422345\/7427971\/7428057.pdf?arnumber=7428057","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,16]],"date-time":"2020-09-16T20:23:43Z","timestamp":1600287823000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7428057\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,1]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/aspdac.2016.7428057","relation":{},"subject":[],"published":{"date-parts":[[2016,1]]}}}