{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,14]],"date-time":"2026-05-14T05:51:16Z","timestamp":1778737876726,"version":"3.51.4"},"reference-count":24,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"10","license":[{"start":{"date-parts":[[2024,10,1]],"date-time":"2024-10-01T00:00:00Z","timestamp":1727740800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,10,1]],"date-time":"2024-10-01T00:00:00Z","timestamp":1727740800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,10,1]],"date-time":"2024-10-01T00:00:00Z","timestamp":1727740800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"Partenariato Esteso\u2014 Research and Innovation on Future Telecommunications Systems and Networks (RESTART), to make Italy more Smart (RESTART)\u2014","award":["PE00000001"],"award-info":[{"award-number":["PE00000001"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2024,10]]},"DOI":"10.1109\/tcad.2024.3387876","type":"journal-article","created":{"date-parts":[[2024,4,11]],"date-time":"2024-04-11T18:59:48Z","timestamp":1712861988000},"page":"3083-3087","source":"Crossref","is-referenced-by-count":4,"title":["Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification"],"prefix":"10.1109","volume":"43","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5839-8697","authenticated-orcid":false,"given":"Gianpiero","family":"Cabodi","sequence":"first","affiliation":[{"name":"DAUIN, Politecnico di Torino, Turin, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2476-2160","authenticated-orcid":false,"given":"Paolo E.","family":"Camurati","sequence":"additional","affiliation":[{"name":"DAUIN, Politecnico di Torino, Turin, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joao","family":"Marques-Silva","sequence":"additional","affiliation":[{"name":"ANITI, University of Toulouse, Toulouse, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0605-9014","authenticated-orcid":false,"given":"Marco","family":"Palena","sequence":"additional","affiliation":[{"name":"DAUIN, Politecnico di Torino, Turin, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6233-0994","authenticated-orcid":false,"given":"Paolo","family":"Pasini","sequence":"additional","affiliation":[{"name":"DAUIN, Politecnico di Torino, Turin, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.23919\/DATE51398.2021.9474083"},{"key":"ref2","first-page":"143","article-title":"Rethinking explainable machines: The GDPR\u2019s \u2018right to explanation\u2019 debate and the rise of algorithmic audits in enterprise","volume":"34","author":"Casey","year":"2019","journal-title":"Berkeley Technology Law Journal"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3236009"},{"key":"ref4","volume-title":"Interpretable machine learning","author":"Molnar","year":"2020"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/BF00116251"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10575-8_7"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2018\/189"},{"key":"ref8","article-title":"Optimal decision lists using SAT","author":"Yu","year":"2020","journal-title":"arXiv:2010.09919"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(76)90095-8"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/BF00115299"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.23919\/FMCAD.2019.8894253"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1978.1675141"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.5555\/1953048.2078195"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2015.2494118"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-51825-7_35"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/11564751_73"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1.13575"},{"key":"ref19","article-title":"Abduction-based explanations for machine learning models","author":"Ignatiev","year":"2018","journal-title":"arXiv:1811.10656"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1990.129860"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-94144-8_26"},{"key":"ref22","first-page":"399","article-title":"Predicting learnt clauses quality in modern SAT solvers","volume-title":"Proc. 21st IJCAI","author":"Audemard"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-011-0123-3"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1186\/s13040-017-0154-4"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/43\/10684348\/10497107.pdf?arnumber=10497107","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,20]],"date-time":"2024-09-20T06:13:02Z","timestamp":1726812782000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10497107\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10]]},"references-count":24,"journal-issue":{"issue":"10"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2024.3387876","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"value":"0278-0070","type":"print"},{"value":"1937-4151","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,10]]}}}