{"id":"https://openalex.org/W3185973044","doi":"https://doi.org/10.23919/date51398.2021.9474083","title":"Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification","display_name":"Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification","publication_year":2021,"publication_date":"2021-02-01","ids":{"openalex":"https://openalex.org/W3185973044","doi":"https://doi.org/10.23919/date51398.2021.9474083","mag":"3185973044"},"language":"en","primary_location":{"id":"doi:10.23919/date51398.2021.9474083","is_oa":false,"landing_page_url":"https://doi.org/10.23919/date51398.2021.9474083","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 Design, Automation & Test in Europe Conference & Exhibition (DATE)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5075485175","display_name":"Gianpiero Cabodi","orcid":"https://orcid.org/0000-0001-5839-8697"},"institutions":[{"id":"https://openalex.org/I177477856","display_name":"Politecnico di Torino","ror":"https://ror.org/00bgk9508","country_code":"IT","type":"education","lineage":["https://openalex.org/I177477856"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Gianpiero Cabodi","raw_affiliation_strings":["DAUIN, Politecnico di Torino, Turin, IT","DAUIN - Dipartimento di Automatica e Informatica [Torino] (Corso Duca degli Abruzzi, 24 10129 Torino - Italy)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DAUIN, Politecnico di Torino, Turin, IT","institution_ids":["https://openalex.org/I177477856"]},{"raw_affiliation_string":"DAUIN - Dipartimento di Automatica e Informatica [Torino] (Corso Duca degli Abruzzi, 24 10129 Torino - Italy)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082103190","display_name":"P. Camurati","orcid":"https://orcid.org/0000-0002-2476-2160"},"institutions":[{"id":"https://openalex.org/I177477856","display_name":"Politecnico di Torino","ror":"https://ror.org/00bgk9508","country_code":"IT","type":"education","lineage":["https://openalex.org/I177477856"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Paolo E. Camurati","raw_affiliation_strings":["DAUIN, Politecnico di Torino, Turin, IT","DAUIN - Dipartimento di Automatica e Informatica [Torino] (Corso Duca degli Abruzzi, 24 10129 Torino - Italy)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DAUIN, Politecnico di Torino, Turin, IT","institution_ids":["https://openalex.org/I177477856"]},{"raw_affiliation_string":"DAUIN - Dipartimento di Automatica e Informatica [Torino] (Corso Duca degli Abruzzi, 24 10129 Torino - Italy)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051305025","display_name":"Alexey Ignatiev","orcid":"https://orcid.org/0000-0002-4535-2902"},"institutions":[{"id":"https://openalex.org/I56590836","display_name":"Monash University","ror":"https://ror.org/02bfwt286","country_code":"AU","type":"education","lineage":["https://openalex.org/I56590836"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Alexey Ignatiev","raw_affiliation_strings":["Monash University, Melbourne, AU","Monash University [Melbourne] (Victoria 3800, Australia  - Australia)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Monash University, Melbourne, AU","institution_ids":["https://openalex.org/I56590836"]},{"raw_affiliation_string":"Monash University [Melbourne] (Victoria 3800, Australia  - Australia)","institution_ids":["https://openalex.org/I56590836"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002246957","display_name":"Jo\u00e3o Marques\u2010Silva","orcid":"https://orcid.org/0000-0002-6632-3086"},"institutions":[{"id":"https://openalex.org/I134560555","display_name":"Universit\u00e9 Toulouse III - Paul Sabatier","ror":"https://ror.org/02v6kpv12","country_code":"FR","type":"education","lineage":["https://openalex.org/I134560555"]},{"id":"https://openalex.org/I17866349","display_name":"Universit\u00e9 F\u00e9d\u00e9rale de Toulouse Midi-Pyr\u00e9n\u00e9es","ror":"https://ror.org/004raaa70","country_code":"FR","type":"education","lineage":["https://openalex.org/I17866349"]},{"id":"https://openalex.org/I3131550300","display_name":"Universit\u00e9 Toulouse-I-Capitole","ror":"https://ror.org/0443n9e75","country_code":"FR","type":"education","lineage":["https://openalex.org/I3131550300"]},{"id":"https://openalex.org/I4210119061","display_name":"Institut de Recherche en Informatique de Toulouse","ror":"https://ror.org/01rx4qw44","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I205747304","https://openalex.org/I4210119061","https://openalex.org/I4210152422","https://openalex.org/I4405258862","https://openalex.org/I4405259414"]},{"id":"https://openalex.org/I4210152422","display_name":"Universit\u00e9 Toulouse - Jean Jaur\u00e8s","ror":"https://ror.org/04ezk3x31","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210152422"]},{"id":"https://openalex.org/I4210160189","display_name":"Institut Polytechnique de Bordeaux","ror":"https://ror.org/054qv7y42","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210160189"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Joao Marques-Silva","raw_affiliation_strings":["ANITI, University of Toulouse, Toulouse, FR","IRIT-ADRIA - Argumentation, D\u00e9cision, Raisonnement, Incertitude et Apprentissage (Institut de recherche en informatique de Toulouse - IRIT\r\n118 Route de Narbonne\r\n31062 Toulouse Cedex 9  - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ANITI, University of Toulouse, Toulouse, FR","institution_ids":["https://openalex.org/I17866349"]},{"raw_affiliation_string":"IRIT-ADRIA - Argumentation, D\u00e9cision, Raisonnement, Incertitude et Apprentissage (Institut de recherche en informatique de Toulouse - IRIT\r\n118 Route de Narbonne\r\n31062 Toulouse Cedex 9  - France)","institution_ids":["https://openalex.org/I134560555","https://openalex.org/I3131550300","https://openalex.org/I4210119061","https://openalex.org/I4210152422","https://openalex.org/I4210160189"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004060820","display_name":"Marco Palena","orcid":"https://orcid.org/0000-0003-0605-9014"},"institutions":[{"id":"https://openalex.org/I177477856","display_name":"Politecnico di Torino","ror":"https://ror.org/00bgk9508","country_code":"IT","type":"education","lineage":["https://openalex.org/I177477856"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Marco Palena","raw_affiliation_strings":["DAUIN, Politecnico di Torino, Turin, IT","DAUIN - Dipartimento di Automatica e Informatica [Torino] (Corso Duca degli Abruzzi, 24 10129 Torino - Italy)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DAUIN, Politecnico di Torino, Turin, IT","institution_ids":["https://openalex.org/I177477856"]},{"raw_affiliation_string":"DAUIN - Dipartimento di Automatica e Informatica [Torino] (Corso Duca degli Abruzzi, 24 10129 Torino - Italy)","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5016873722","display_name":"Paolo Pasini","orcid":"https://orcid.org/0000-0001-6233-0994"},"institutions":[{"id":"https://openalex.org/I177477856","display_name":"Politecnico di Torino","ror":"https://ror.org/00bgk9508","country_code":"IT","type":"education","lineage":["https://openalex.org/I177477856"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Paolo Pasini","raw_affiliation_strings":["DAUIN, Politecnico di Torino, Turin, IT","DAUIN - Dipartimento di Automatica e Informatica [Torino] (Corso Duca degli Abruzzi, 24 10129 Torino - Italy)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DAUIN, Politecnico di Torino, Turin, IT","institution_ids":["https://openalex.org/I177477856"]},{"raw_affiliation_string":"DAUIN - Dipartimento di Automatica e Informatica [Torino] (Corso Duca degli Abruzzi, 24 10129 Torino - Italy)","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":8,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1122","last_page":"1125"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.989300012588501,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.989300012588501,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9889000058174133,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.9833999872207642,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/binary-decision-diagram","display_name":"Binary decision diagram","score":0.8751100301742554},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6772847771644592},{"id":"https://openalex.org/keywords/decision-tree","display_name":"Decision tree","score":0.6224880218505859},{"id":"https://openalex.org/keywords/heuristic","display_name":"Heuristic","score":0.5921044945716858},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5662989020347595},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.46522781252861023},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.4603862762451172},{"id":"https://openalex.org/keywords/binary-number","display_name":"Binary number","score":0.45184966921806335},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.41501855850219727},{"id":"https://openalex.org/keywords/influence-diagram","display_name":"Influence diagram","score":0.4123748540878296},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3855452537536621},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.37374547123908997},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3730437159538269},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.21573564410209656},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.10477113723754883}],"concepts":[{"id":"https://openalex.org/C3309909","wikidata":"https://www.wikidata.org/wiki/Q864155","display_name":"Binary decision diagram","level":2,"score":0.8751100301742554},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6772847771644592},{"id":"https://openalex.org/C84525736","wikidata":"https://www.wikidata.org/wiki/Q831366","display_name":"Decision tree","level":2,"score":0.6224880218505859},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.5921044945716858},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5662989020347595},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.46522781252861023},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.4603862762451172},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.45184966921806335},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.41501855850219727},{"id":"https://openalex.org/C20837028","wikidata":"https://www.wikidata.org/wiki/Q623966","display_name":"Influence diagram","level":3,"score":0.4123748540878296},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3855452537536621},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37374547123908997},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3730437159538269},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.21573564410209656},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.10477113723754883},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.23919/date51398.2021.9474083","is_oa":false,"landing_page_url":"https://doi.org/10.23919/date51398.2021.9474083","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 Design, Automation & Test in Europe Conference & Exhibition (DATE)","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-03317626v1","is_oa":false,"landing_page_url":"https://hal.science/hal-03317626","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://ieeexplore.ieee.org/document/9474083","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.7599999904632568,"id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G1938070154","display_name":"Artificial and Natural Intelligence Toulouse Institute","funder_award_id":"ANR-19-P3IA-0004","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"}],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W1539886244","https://openalex.org/W1970074386","https://openalex.org/W1994143452","https://openalex.org/W2011295201","https://openalex.org/W2046656028","https://openalex.org/W2099251677","https://openalex.org/W2593649365","https://openalex.org/W2807992309","https://openalex.org/W2809729522","https://openalex.org/W2983461405","https://openalex.org/W2998503844","https://openalex.org/W3038592001","https://openalex.org/W4246484440","https://openalex.org/W6752888601","https://openalex.org/W6780252999"],"related_works":["https://openalex.org/W2089210394","https://openalex.org/W2103286150","https://openalex.org/W2122917767","https://openalex.org/W4300616421","https://openalex.org/W2205783098","https://openalex.org/W1596417907","https://openalex.org/W2108122578","https://openalex.org/W2163801945","https://openalex.org/W1507575448","https://openalex.org/W2768055417"],"abstract_inverted_index":{"Motivated":[0],"by":[1,31,41,167],"the":[2,6,32,70,89,114,142,145,175,221,224],"need":[3],"to":[4,47,60,79,140,153,187],"understand":[5],"behaviour":[7],"of":[8,72,92,144,177,220,223],"complex":[9],"machine":[10],"learning":[11,20],"(ML)":[12],"models,":[13],"there":[14,83],"has":[15],"been":[16],"recent":[17,154],"interest":[18,28],"in":[19,76,88,99,138],"optimal":[21,211],"(or":[22,192],"sub-optimal)":[23],"decision":[24,43,111],"trees":[25],"(DTs).":[26],"This":[27],"is":[29,84,151,198],"explained":[30],"fact":[33],"that":[34,180],"DTs":[35,48],"are":[36,49,181,203],"widely":[37],"regarded":[38],"as":[39,113,215,217],"interpretable":[40],"human":[42],"makers.":[44],"An":[45],"alternative":[46],"Binary":[50,118],"Decision":[51,119],"Diagrams":[52],"(BDDs),":[53],"which":[54],"can":[55],"be":[56],"deemed":[57],"interpretable.":[58],"Compared":[59],"DTs,":[61],"and":[62,126,212],"despite":[63],"a":[64,105,110,182,190,194,207],"fixed":[65],"variable":[66],"order,":[67],"BDDs":[68,158],"offer":[69],"advantage":[71],"more":[73],"compact":[74],"representations":[75],"practice,":[77],"due":[78],"node":[80],"sharing.":[81],"Moreover,":[82],"also":[85,204],"extensive":[86],"experience":[87],"efficient":[90],"manipulation":[91],"BDDs.":[93],"Our":[94],"work":[95,155,173],"proposes":[96],"preliminary":[97],"inroads":[98],"two":[100],"main":[101],"directions:":[102],"(a)":[103],"proposing":[104,206],"SAT-based":[106],"model":[107],"for":[108,131,159],"computing":[109],"tree":[112],"smallest":[115],"Reduced":[116],"Ordered":[117],"Diagram,":[120],"consistent":[121],"with":[122],"given":[123],"training":[124],"data;":[125],"(b)":[127],"exploring":[128],"heuristic":[129,149],"approaches":[130],"deriving":[132],"sub-optimal":[133,213],"(i.e.,":[134],"not":[135],"minimal)":[136],"ROBDDs,":[137],"order":[139],"improve":[141],"scalability":[143],"proposed":[146,225],"technique.":[147],"The":[148],"approach":[150],"related":[152],"on":[156],"using":[157],"classification.":[160],"Whereas":[161],"previous":[162],"works":[163],"addressed":[164],"size":[165,226],"reduction":[166,227],"general":[168],"logic":[169],"synthesis":[170],"techniques,":[171],"our":[172],"adds":[174],"contribution":[176],"generalized":[178],"cofactors,":[179],"well-known":[183],"compaction":[184],"technique":[185],"specific":[186],"BDDs,":[188],"once":[189],"care":[191],"equivalently":[193],"don't":[195],"care)":[196],"set":[197],"given.":[199],"Preliminary":[200],"experimental":[201],"results":[202],"provided,":[205],"direct":[208],"comparison":[209],"between":[210],"solutions,":[214],"well":[216],"an":[218],"evaluation":[219],"impact":[222],"steps.":[228]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3}],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-10T00:00:00"}