{"id":"https://openalex.org/W2935632405","doi":"https://doi.org/10.1007/978-3-030-17465-1_17","title":"Binary Decision Diagrams with Edge-Specified Reductions","display_name":"Binary Decision Diagrams with Edge-Specified Reductions","publication_year":2019,"publication_date":"2019-01-01","ids":{"openalex":"https://openalex.org/W2935632405","doi":"https://doi.org/10.1007/978-3-030-17465-1_17","mag":"2935632405"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-17465-1_17","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-17465-1_17","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-030-17465-1_17.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-030-17465-1_17.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5013181251","display_name":"Junaid Babar","orcid":"https://orcid.org/0009-0005-7917-6571"},"institutions":[{"id":"https://openalex.org/I173911158","display_name":"Iowa State University","ror":"https://ror.org/04rswrd78","country_code":"US","type":"education","lineage":["https://openalex.org/I173911158"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Junaid Babar","raw_affiliation_strings":["Department of Computer Science, Iowa State University, Ames, IA, 50011, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Iowa State University, Ames, IA, 50011, USA","institution_ids":["https://openalex.org/I173911158"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066568314","display_name":"Chuan Jiang","orcid":"https://orcid.org/0000-0003-2376-5244"},"institutions":[{"id":"https://openalex.org/I173911158","display_name":"Iowa State University","ror":"https://ror.org/04rswrd78","country_code":"US","type":"education","lineage":["https://openalex.org/I173911158"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Chuan Jiang","raw_affiliation_strings":["Department of Computer Science, Iowa State University, Ames, IA, 50011, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Iowa State University, Ames, IA, 50011, USA","institution_ids":["https://openalex.org/I173911158"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071970957","display_name":"Gianfranco Ciardo","orcid":"https://orcid.org/0000-0002-4906-6145"},"institutions":[{"id":"https://openalex.org/I173911158","display_name":"Iowa State University","ror":"https://ror.org/04rswrd78","country_code":"US","type":"education","lineage":["https://openalex.org/I173911158"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Gianfranco Ciardo","raw_affiliation_strings":["Department of Computer Science, Iowa State University, Ames, IA, 50011, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Iowa State University, Ames, IA, 50011, USA","institution_ids":["https://openalex.org/I173911158"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5037662686","display_name":"Andrew S. Miner","orcid":"https://orcid.org/0000-0002-7737-6888"},"institutions":[{"id":"https://openalex.org/I173911158","display_name":"Iowa State University","ror":"https://ror.org/04rswrd78","country_code":"US","type":"education","lineage":["https://openalex.org/I173911158"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Andrew Miner","raw_affiliation_strings":["Department of Computer Science, Iowa State University, Ames, IA, 50011, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Iowa State University, Ames, IA, 50011, USA","institution_ids":["https://openalex.org/I173911158"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5013181251"],"corresponding_institution_ids":["https://openalex.org/I173911158"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":1.9561,"has_fulltext":true,"cited_by_count":7,"citation_normalized_percentile":{"value":0.8502384,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"303","last_page":"318"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9958000183105469,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.993399977684021,"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.9182729721069336},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7352386116981506},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.6903961896896362},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.594507098197937},{"id":"https://openalex.org/keywords/node","display_name":"Node (physics)","score":0.5615278482437134},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.48707082867622375},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.46508046984672546},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.4348883032798767},{"id":"https://openalex.org/keywords/binary-number","display_name":"Binary number","score":0.415982723236084},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.2509419918060303},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.23410266637802124}],"concepts":[{"id":"https://openalex.org/C3309909","wikidata":"https://www.wikidata.org/wiki/Q864155","display_name":"Binary decision diagram","level":2,"score":0.9182729721069336},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7352386116981506},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.6903961896896362},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.594507098197937},{"id":"https://openalex.org/C62611344","wikidata":"https://www.wikidata.org/wiki/Q1062658","display_name":"Node (physics)","level":2,"score":0.5615278482437134},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.48707082867622375},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.46508046984672546},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.4348883032798767},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.415982723236084},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.2509419918060303},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.23410266637802124},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C66938386","wikidata":"https://www.wikidata.org/wiki/Q633538","display_name":"Structural engineering","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-030-17465-1_17","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-17465-1_17","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-030-17465-1_17.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/978-3-030-17465-1_17","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-17465-1_17","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-030-17465-1_17.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.7599999904632568}],"awards":[{"id":"https://openalex.org/G8150029904","display_name":"SI2 - SSE: A Next-Generation Decision Diagram Library","funder_award_id":"1642397","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2935632405.pdf","grobid_xml":"https://content.openalex.org/works/W2935632405.grobid-xml"},"referenced_works_count":10,"referenced_works":["https://openalex.org/W137846029","https://openalex.org/W1545320146","https://openalex.org/W2072916763","https://openalex.org/W2080267935","https://openalex.org/W2105562886","https://openalex.org/W2149479807","https://openalex.org/W2164202841","https://openalex.org/W2768055417","https://openalex.org/W2963971337","https://openalex.org/W6600903635"],"related_works":["https://openalex.org/W257150968","https://openalex.org/W2110222718","https://openalex.org/W1536220277","https://openalex.org/W2168881618","https://openalex.org/W86917440","https://openalex.org/W2057159994","https://openalex.org/W1608751818","https://openalex.org/W2133491672","https://openalex.org/W2109998394","https://openalex.org/W97239786"],"abstract_inverted_index":{"Various":[0],"versions":[1],"of":[2,40,49,64,73,82,100,114],"binary":[3],"decision":[4],"diagrams":[5],"(BDDs)":[6],"have":[7,59,75],"been":[8,76],"proposed":[9,77],"in":[10,14,112,120],"the":[11,15,44,80],"past,":[12],"differing":[13],"reduction":[16,131],"rule":[17],"needed":[18],"to":[19,22,58,118,144],"give":[20],"meaning":[21],"edges":[23],"skipping":[24],"levels.":[25],"The":[26],"most":[27],"widely":[28],"adopted,":[29],"fully-reduced":[30],"BDDs":[31,74],"and":[32,86,123,140],"zero-suppressed":[33],"BDDs,":[34],"excel":[35],"at":[36,79],"encoding":[37],"different":[38],"types":[39],"boolean":[41],"functions":[42],"(if":[43],"function":[45],"contains":[46],"subfunctions":[47],"independent":[48],"one":[50,63],"or":[51,55],"more":[52],"underlying":[53],"variables,":[54],"it":[56],"tends":[57,117],"value":[60],"zero":[61],"when":[62],"its":[65],"arguments":[66],"is":[67,105],"nonzero,":[68],"respectively).":[69],"Recently,":[70],"new":[71,98],"classes":[72],"that,":[78],"cost":[81],"some":[83],"additional":[84,130],"complexity":[85],"larger":[87],"memory":[88,110],"requirements":[89,111],"per":[90],"node,":[91],"exploit":[92],"both":[93],"cases.":[94],"We":[95,133],"introduce":[96],"a":[97,135],"type":[99],"BDD":[101],"that":[102],"we":[103],"believe":[104],"conceptually":[106],"simpler,":[107],"has":[108],"small":[109],"terms":[113],"node":[115],"size,":[116],"result":[119],"fewer":[121],"nodes,":[122],"can":[124],"easily":[125],"be":[126],"further":[127],"extended":[128],"with":[129],"rules.":[132],"present":[134],"formal":[136],"definition,":[137],"prove":[138],"canonicity,":[139],"provide":[141],"experimental":[142],"results":[143],"support":[145],"our":[146],"efficiency":[147],"claims.":[148]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2018,"cited_by_count":1}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}