{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,7,25]],"date-time":"2022-07-25T00:40:28Z","timestamp":1658709628319},"reference-count":13,"publisher":"Oxford University Press (OUP)","issue":"3","funder":[{"name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","award":["UID\/MAT\/04561\/2013"],"award-info":[{"award-number":["UID\/MAT\/04561\/2013"]}]},{"name":"Centro de Matem\u00e1tica, Aplica\u00e7\u00f5es Fundamentais e Investiga\u00e7\u00e3o Operacional of Universidade de Lisboa (CMAF-CIO)","award":["UID\/EEA\/50008\/2013"],"award-info":[{"award-number":["UID\/EEA\/50008\/2013"]}]},{"name":"Instituto de Telecomunica\u00e7\u00f5es (IT)"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,6,1]]},"DOI":"10.1093\/jigpal\/jzx005","type":"journal-article","created":{"date-parts":[[2017,3,1]],"date-time":"2017-03-01T12:31:19Z","timestamp":1488371479000},"page":"283-308","source":"Crossref","is-referenced-by-count":1,"title":["Decision and optimization problems in the unreliable-circuit logic"],"prefix":"10.1093","volume":"25","author":[{"given":"J.","family":"Rasga","sequence":"first","affiliation":[{"name":"Departamento de Matem\u00e1tica, Instituto Superior T\u00e9cnico and Centro de Matem\u00e1tica, Aplica\u00e7\u00f5es Fundamentais e Investiga\u00e7\u00e3o Operacional, Universidade de Lisboa, Portugal."}]},{"given":"C.","family":"Sernadas","sequence":"additional","affiliation":[{"name":"Departamento de Matem\u00e1tica, Instituto Superior T\u00e9cnico and Centro de Matem\u00e1tica, Aplica\u00e7\u00f5es Fundamentais e Investiga\u00e7\u00e3o Operacional, Universidade de Lisboa, Portugal."}]},{"given":"P.","family":"Mateus","sequence":"additional","affiliation":[{"name":"Departamento de Matem\u00e1tica, Instituto Superior T\u00e9cnico and Instituto de Telecomunica\u00e7\u00f5es, Universidade de Lisboa, Portugal."}]},{"given":"A.","family":"Sernadas","sequence":"additional","affiliation":[{"name":"Departamento de Matem\u00e1tica, Instituto Superior T\u00e9cnico and Centro de Matem\u00e1tica, Aplica\u00e7\u00f5es Fundamentais e Investiga\u00e7\u00e3o Operacional, Universidade de Lisboa, Portugal."}]}],"member":"286","published-online":{"date-parts":[[2017,4,1]]},"reference":[{"key":"key\n\t\t\t\t20180328174040_B1","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-33099-2","volume-title":"Algorithms in Real Algebraic Geometry","author":"Basu,","year":"2006"},{"key":"key\n\t\t\t\t20180328174040_B2","doi-asserted-by":"crossref","first-page":"924","DOI":"10.1016\/j.ipl.2010.07.022","article-title":"Exponential space complexity for OBDD-based reachability analysis.","volume":"110","author":"Bollig.","year":"2010","journal-title":"Information Processing Letters"},{"key":"key\n\t\t\t\t20180328174040_B3","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1145\/1592761.1592781","article-title":"Turing lecture: model checking: algorithmic verification and debugging.","volume":"52","author":"Clarke,","year":"2009","journal-title":"Communications of the ACM"},{"key":"key\n\t\t\t\t20180328174040_B4","doi-asserted-by":"crossref","first-page":"1099","DOI":"10.1109\/TNANO.2011.2111460","article-title":"On the reliability of computational structures using majority logic.","volume":"10","author":"Han,","year":"2011","journal-title":"IEEE Transactions on Nanotechnology"},{"key":"key\n\t\t\t\t20180328174040_B5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4614-0682-2","volume-title":"Computability and Complexity Theory","author":"Homer","year":"2011","edition":"2nd edn."},{"key":"key\n\t\t\t\t20180328174040_B6","doi-asserted-by":"crossref","first-page":"2054","DOI":"10.1109\/TVLSI.2011.2166417","article-title":"Boolean functions over nano-fabrics: Improving resilience through coding.","volume":"20","author":"Lee","year":"2012","journal-title":"IEEE Transactions on VLSI Systems"},{"key":"key\n\t\t\t\t20180328174040_B7","volume-title":"Model Theory","author":"Marker.","year":"2002"},{"key":"key\n\t\t\t\t20180328174040_B8","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1007\/s11787-014-0101-9","article-title":"Craig interpolation in the presence of unreliable connectives.","volume":"8","author":"Rasga,","year":"2014","journal-title":"Logica Universalis"},{"key":"key\n\t\t\t\t20180328174040_B9","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1109\/TVLSI.2008.2003167","article-title":"Probabilistic error modeling for nano-domain logic circuits.","volume":"17","author":"Rejimon,","year":"2009","journal-title":"IEEE Transactions on VLSI Systems"},{"key":"key\n\t\t\t\t20180328174040_B10","doi-asserted-by":"crossref","first-page":"1023","DOI":"10.1093\/logcom\/ext038","volume":"24","author":"Sernadas,","year":"2014","journal-title":"Journal of Logic and Computation"},{"key":"key\n\t\t\t\t20180328174040_B11","first-page":"321","article-title":"Non-deterministic combination of connectives.","volume-title":"Logic without Frontiers: Festschrift for Walter Alexandre Carnielli on the Occasion of his 60th Birthday","author":"Sernadas,","year":"2011"},{"key":"key\n\t\t\t\t20180328174040_B12","doi-asserted-by":"crossref","DOI":"10.1525\/9780520348097","volume-title":"A Decision Method for Elementary Algebra and Geometry","author":"Tarski.","year":"1951","edition":"2nd ed."},{"key":"key\n\t\t\t\t20180328174040_B13","first-page":"43","article-title":"Probabilistic logics and the synthesis of reliable organisms from unreliable components.","volume-title":"Automata Studies","author":"von Neumann.","year":"1956"}],"container-title":["Logic Journal of the IGPL"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/jigpal\/article-pdf\/25\/3\/283\/17193934\/jzx005.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,25]],"date-time":"2022-07-25T00:27:54Z","timestamp":1658708874000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article\/25\/3\/283\/3098300"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,4,1]]},"references-count":13,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2017,4,1]]},"published-print":{"date-parts":[[2017,6,1]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzx005","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"value":"1367-0751","type":"print"},{"value":"1368-9894","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2017,6]]},"published":{"date-parts":[[2017,4,1]]}}}