{"id":"https://openalex.org/W3146449770","doi":"https://doi.org/10.1109/aspdac.2006.1594689","title":"An anytime symmetry detection algorithm for ROBDDs","display_name":"An anytime symmetry detection algorithm for ROBDDs","publication_year":2006,"publication_date":"2006-03-22","ids":{"openalex":"https://openalex.org/W3146449770","doi":"https://doi.org/10.1109/aspdac.2006.1594689","mag":"3146449770"},"language":"en","primary_location":{"id":"doi:10.1109/aspdac.2006.1594689","is_oa":false,"landing_page_url":"https://doi.org/10.1109/aspdac.2006.1594689","pdf_url":null,"source":{"id":"https://openalex.org/S4363608292","display_name":"Asia and South Pacific Conference on Design Automation, 2006.","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Asia and South Pacific Conference on Design Automation, 2006.","raw_type":"proceedings-article"},"type":"article","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/A5065442396","display_name":"Neil Kettle","orcid":null},"institutions":[{"id":"https://openalex.org/I20581793","display_name":"University of Kent","ror":"https://ror.org/00xkeyj56","country_code":"GB","type":"education","lineage":["https://openalex.org/I20581793"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"N. Kettle","raw_affiliation_strings":["University of Kent, UK"],"affiliations":[{"raw_affiliation_string":"University of Kent, UK","institution_ids":["https://openalex.org/I20581793"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5103107567","display_name":"Andy King","orcid":"https://orcid.org/0000-0001-5806-4822"},"institutions":[{"id":"https://openalex.org/I20581793","display_name":"University of Kent","ror":"https://ror.org/00xkeyj56","country_code":"GB","type":"education","lineage":["https://openalex.org/I20581793"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"A. King","raw_affiliation_strings":["University of Kent, UK"],"affiliations":[{"raw_affiliation_string":"University of Kent, UK","institution_ids":["https://openalex.org/I20581793"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5065442396"],"corresponding_institution_ids":["https://openalex.org/I20581793"],"apc_list":null,"apc_paid":null,"fwci":0.3506,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.56607495,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"243","last_page":"248"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9991000294685364,"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.9991000294685364,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9887999892234802,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9865999817848206,"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/algorithm","display_name":"Algorithm","score":0.6933889985084534},{"id":"https://openalex.org/keywords/minification","display_name":"Minification","score":0.5676679611206055},{"id":"https://openalex.org/keywords/homogeneous-space","display_name":"Homogeneous space","score":0.5236296653747559},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5174218416213989},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.5074018836021423},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.4886165261268616},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.39069807529449463},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.38125061988830566},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3302925229072571},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.09165698289871216}],"concepts":[{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.6933889985084534},{"id":"https://openalex.org/C147764199","wikidata":"https://www.wikidata.org/wiki/Q6865248","display_name":"Minification","level":2,"score":0.5676679611206055},{"id":"https://openalex.org/C96469262","wikidata":"https://www.wikidata.org/wiki/Q1324364","display_name":"Homogeneous space","level":2,"score":0.5236296653747559},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5174218416213989},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.5074018836021423},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.4886165261268616},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.39069807529449463},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.38125061988830566},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3302925229072571},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.09165698289871216},{"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.1109/aspdac.2006.1594689","is_oa":false,"landing_page_url":"https://doi.org/10.1109/aspdac.2006.1594689","pdf_url":null,"source":{"id":"https://openalex.org/S4363608292","display_name":"Asia and South Pacific Conference on Design Automation, 2006.","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Asia and South Pacific Conference on Design Automation, 2006.","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W1831145899","https://openalex.org/W1975335740","https://openalex.org/W1997072334","https://openalex.org/W2007572995","https://openalex.org/W2053619330","https://openalex.org/W2070298863","https://openalex.org/W2078740228","https://openalex.org/W2080267935","https://openalex.org/W2102128707","https://openalex.org/W2103240723","https://openalex.org/W2104734478","https://openalex.org/W2122479308","https://openalex.org/W2134401100","https://openalex.org/W2150612825","https://openalex.org/W2520093650","https://openalex.org/W4230501129","https://openalex.org/W4236218105","https://openalex.org/W4250447890","https://openalex.org/W4250518656","https://openalex.org/W4378744510","https://openalex.org/W6670457775"],"related_works":["https://openalex.org/W2212615093","https://openalex.org/W2999312112","https://openalex.org/W2346253477","https://openalex.org/W1909384579","https://openalex.org/W2057810289","https://openalex.org/W258677105","https://openalex.org/W2474705870","https://openalex.org/W2056017973","https://openalex.org/W1976234213","https://openalex.org/W3204901460"],"abstract_inverted_index":{"Detecting":[0],"symmetries":[1,36],"is":[2,20,54,58,66,78,95,111],"crucial":[3],"to":[4,68],"logic":[5],"synthesis,":[6],"technology":[7],"mapping,":[8],"detecting":[9,35],"function":[10],"equivalence":[11],"under":[12],"unknown":[13],"input":[14],"correspondence,":[15],"and":[16,100,109,146],"ROBDD":[17],"minimization.":[18],"State-of-the-art":[19],"represented":[21,40],"by":[22],"Mishchenko's":[23,115],"algorithm.":[24],"In":[25],"this":[26,76],"paper,":[27],"we":[28],"present":[29],"an":[30],"efficient":[31],"anytime":[32,138],"algorithm":[33,57,77,122,132],"for":[34,151],"in":[37,60,79,106,123],"Boolean":[38],"functions":[39],"as":[41],"ROBDDs,":[42],"that":[43,61],"output":[44],"pairs":[45],"of":[46,75,98,104],"symmetric":[47,71],"variables":[48,99],"until":[49],"a":[50],"prescribed":[51],"time":[52,64],"bound":[53],"exceeded.":[55],"The":[56,73],"complete":[59],"given":[62],"sufficient":[63],"it":[65,110,147],"guaranteed":[67],"find":[69],"all":[70],"pairs.":[72],"complexity":[74],"O(n":[80],"<sup":[81,88,117],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[82,89,118],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">4</sup>":[83],"+":[84,86],"n|G|":[85],"|G|":[87,101],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">3":[90,119],"</sup>":[91,120],")":[92,121],"where":[93],"n":[94,127],"the":[96,102,107,124,137],"number":[97,103],"nodes":[105],"ROBDD,":[108],"thus":[112],"competitive":[113],"with":[114],"O(|G|":[116],"worst-case":[125],"since":[126],"Lt":[128],"|G|.":[129],"However,":[130],"our":[131],"performs":[133],"significantly":[134],"better":[135],"because":[136],"approach":[139],"only":[140],"requires":[141],"lightweight":[142],"data":[143],"structure":[144],"support":[145],"offers":[148],"unique":[149],"opportunities":[150],"optimization":[152]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}