{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T20:50:22Z","timestamp":1744231822319,"version":"3.28.0"},"reference-count":37,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,10]]},"DOI":"10.1109\/iccd.2015.7357090","type":"proceedings-article","created":{"date-parts":[[2015,12,17]],"date-time":"2015-12-17T16:57:06Z","timestamp":1450371426000},"page":"101-108","source":"Crossref","is-referenced-by-count":11,"title":["Fault-tolerant in-memory crossbar computing using quantified constraint solving"],"prefix":"10.1109","author":[{"given":"Alvaro","family":"Velasquez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sumit Kumar","family":"Jha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref33","DOI":"10.1109\/NANO.2010.5697869"},{"key":"ref32","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/s10703-012-0156-2","article-title":"Efficiently solving quantified bit-vector formulas","volume":"42","author":"christoph","year":"2013","journal-title":"Formal Methods in System Design"},{"doi-asserted-by":"publisher","key":"ref31","DOI":"10.1145\/977091.977161"},{"doi-asserted-by":"publisher","key":"ref30","DOI":"10.1109\/NANOARCH.2015.7180599"},{"doi-asserted-by":"publisher","key":"ref37","DOI":"10.1016\/j.mejo.2012.10.001"},{"doi-asserted-by":"publisher","key":"ref36","DOI":"10.1109\/ASPDAC.2011.5722207"},{"year":"2014","author":"yuan","journal-title":"A new memetic algorithm with fitness approximation for the defect-tolerant logic mapping in crossbar-based nano-architectures","key":"ref35"},{"doi-asserted-by":"publisher","key":"ref34","DOI":"10.1145\/2517137"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1038\/nnano.2007.77"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1063\/1.3294625"},{"key":"ref12","first-page":"1","article-title":"Applications and limitations of memristive implication logic","author":"eero","year":"2012","journal-title":"Cellular Nanoscale Networks and Their Applications (CNNA) 2012 13th International Workshop on"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1109\/MWSCAS.2010.5548550"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1109\/NANO.2005.1500722"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1515\/aot-2015-0036"},{"key":"ref16","first-page":"90","article-title":"Missing the memory wall: The case for processor\/memory integration","author":"nowatzyk","year":"1996","journal-title":"Computer Architecture 1996 23rd Annual International Symposium on"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1109\/NANOARCH.2011.5941504"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1088\/0957-4484\/15\/8\/003"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"35204","DOI":"10.1088\/0957-4484\/18\/3\/035204","article-title":"Nano\/cmos architectures using a field-programmable nanowire interconnect","volume":"18","author":"snider","year":"2007","journal-title":"Nanotechnology"},{"doi-asserted-by":"publisher","key":"ref28","DOI":"10.1049\/mnl:20070034"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1109\/MC.2011.44"},{"doi-asserted-by":"publisher","key":"ref27","DOI":"10.1145\/1167943.1167945"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1109\/TNANO.2003.808508"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1109\/TVLSI.2011.2136443"},{"doi-asserted-by":"publisher","key":"ref29","DOI":"10.1109\/IDT.2014.7038603"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1145\/968280.968299"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1145\/2000502.2000505"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1145\/384285.379262","article-title":"Nanofabrics: Spatial computing using molecular electronics","volume":"29","author":"copen goldstein","year":"2001","journal-title":"ACM SIGARCH Computer Architecture News"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1007\/978-3-540-73595-3_13","article-title":"Efficient e-matching for smt solvers","author":"de moura","year":"2007","journal-title":"Automated Deduction - CADE-21"},{"year":"0","journal-title":"Intel and micron produce breakthrough memory technology","article-title":"Intel PR","key":"ref9"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1007\/11527695_5"},{"key":"ref20","first-page":"1940","article-title":"Molecular electronics: From devices and interconnect to circuits and architecture","volume":"91","author":"mircea","year":"2003","journal-title":"Proceedings of the IEEE"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1038\/nature06932","article-title":"The missing memristor found","volume":"453","author":"dmitri","year":"2008","journal-title":"Nature"},{"key":"ref21","first-page":"543","article-title":"Reconfigurable nano-crossbar architectures","author":"strukov","year":"2012","journal-title":"Nanoelectronics and Information Technology"},{"key":"ref24","first-page":"1801","article-title":"Defect-tolerant logic hardening for crossbar-based nanosystems","author":"yehua","year":"2013","journal-title":"Design Automation & Test in Europe Conference & Exhibition (DATE) 2013"},{"key":"ref23","first-page":"322","article-title":"Defect-tolerant logic mapping on nanoscale crossbar architectures and yield analysis","author":"yehua","year":"2009","journal-title":"Defect and Fault Tolerance in VLSI Systems 2009 DFT'09 24th IEEE International Symposium on"},{"year":"2011","author":"jha","article-title":"Towards Automated System Synthesis Using SCIDUCTION","key":"ref26"},{"doi-asserted-by":"publisher","key":"ref25","DOI":"10.1109\/TCAD.2013.2282755"}],"event":{"name":"2015 33rd IEEE International Conference on Computer Design (ICCD)","start":{"date-parts":[[2015,10,18]]},"location":"New York City, NY, USA","end":{"date-parts":[[2015,10,21]]}},"container-title":["2015 33rd IEEE International Conference on Computer Design (ICCD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7347055\/7357071\/07357090.pdf?arnumber=7357090","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T10:16:25Z","timestamp":1602670585000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7357090"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10]]},"references-count":37,"URL":"https:\/\/doi.org\/10.1109\/iccd.2015.7357090","relation":{},"subject":[],"published":{"date-parts":[[2015,10]]}}}