{"id":"https://openalex.org/W4403221911","doi":"https://doi.org/10.1145/3698879","title":"Area-driven Boolean bi-decomposition by function approximation","display_name":"Area-driven Boolean bi-decomposition by function approximation","publication_year":2024,"publication_date":"2024-10-08","ids":{"openalex":"https://openalex.org/W4403221911","doi":"https://doi.org/10.1145/3698879"},"language":"en","primary_location":{"id":"doi:10.1145/3698879","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3698879","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3698879","source":{"id":"https://openalex.org/S105046310","display_name":"ACM Transactions on Design Automation of Electronic Systems","issn_l":"1084-4309","issn":["1084-4309","1557-7309"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Design Automation of Electronic Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3698879","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5032558381","display_name":"Anna Bernasconi","orcid":"https://orcid.org/0000-0003-0263-5221"},"institutions":[{"id":"https://openalex.org/I108290504","display_name":"University of Pisa","ror":"https://ror.org/03ad39j10","country_code":"IT","type":"education","lineage":["https://openalex.org/I108290504"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Anna Bernasconi","raw_affiliation_strings":["Universit\u00e0 di Pisa, Pisa, Italy"],"raw_orcid":"https://orcid.org/0000-0003-0263-5221","affiliations":[{"raw_affiliation_string":"Universit\u00e0 di Pisa, Pisa, Italy","institution_ids":["https://openalex.org/I108290504"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076933640","display_name":"Valentina Ciriani","orcid":"https://orcid.org/0000-0002-0469-4201"},"institutions":[{"id":"https://openalex.org/I189158943","display_name":"University of Milan","ror":"https://ror.org/00wjc7c48","country_code":"IT","type":"education","lineage":["https://openalex.org/I189158943"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Valentina Ciriani","raw_affiliation_strings":["Universit\u00e0 degli Studi di Milano, Milano, Italy"],"raw_orcid":"https://orcid.org/0000-0002-0469-4201","affiliations":[{"raw_affiliation_string":"Universit\u00e0 degli Studi di Milano, Milano, Italy","institution_ids":["https://openalex.org/I189158943"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031451250","display_name":"Jordi Cortadella","orcid":"https://orcid.org/0000-0001-8114-250X"},"institutions":[{"id":"https://openalex.org/I9617848","display_name":"Universitat Polit\u00e8cnica de Catalunya","ror":"https://ror.org/03mb6wj31","country_code":"ES","type":"education","lineage":["https://openalex.org/I9617848"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Jordi Cortadella","raw_affiliation_strings":["Universitat Politecnica de Catalunya, Barcelona, Spain"],"raw_orcid":"https://orcid.org/0000-0001-8114-250X","affiliations":[{"raw_affiliation_string":"Universitat Politecnica de Catalunya, Barcelona, Spain","institution_ids":["https://openalex.org/I9617848"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102859088","display_name":"Marco Costa","orcid":"https://orcid.org/0009-0002-8397-7580"},"institutions":[{"id":"https://openalex.org/I108290504","display_name":"University of Pisa","ror":"https://ror.org/03ad39j10","country_code":"IT","type":"education","lineage":["https://openalex.org/I108290504"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Marco Costa","raw_affiliation_strings":["Universit\u00e0 di Pisa, Pisa, Italy"],"raw_orcid":"https://orcid.org/0009-0002-8397-7580","affiliations":[{"raw_affiliation_string":"Universit\u00e0 di Pisa, Pisa, Italy","institution_ids":["https://openalex.org/I108290504"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5084281460","display_name":"Tiziano Villa","orcid":"https://orcid.org/0000-0002-9671-8804"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Tiziano Villa","raw_affiliation_strings":["Universit\u00e0 degli Studi di Verona, Verona, Italy"],"raw_orcid":"https://orcid.org/0000-0002-9671-8804","affiliations":[{"raw_affiliation_string":"Universit\u00e0 degli Studi di Verona, Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5032558381"],"corresponding_institution_ids":["https://openalex.org/I108290504"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.20382166,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"30","issue":"1","first_page":"1","last_page":"21"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":0.9970999956130981,"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/T11697","display_name":"Numerical Methods and Algorithms","score":0.9970999956130981,"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/T10363","display_name":"Low-power high-performance VLSI design","score":0.9965999722480774,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9940000176429749,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8213319778442383},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.6470205783843994},{"id":"https://openalex.org/keywords/decomposition","display_name":"Decomposition","score":0.6298904418945312},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.5498499870300293},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.36400648951530457},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.33616822957992554},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3283725380897522}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8213319778442383},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.6470205783843994},{"id":"https://openalex.org/C124681953","wikidata":"https://www.wikidata.org/wiki/Q339062","display_name":"Decomposition","level":2,"score":0.6298904418945312},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.5498499870300293},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36400648951530457},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.33616822957992554},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3283725380897522},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/3698879","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3698879","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3698879","source":{"id":"https://openalex.org/S105046310","display_name":"ACM Transactions on Design Automation of Electronic Systems","issn_l":"1084-4309","issn":["1084-4309","1557-7309"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Design Automation of Electronic Systems","raw_type":"journal-article"},{"id":"pmh:oai:upcommons.upc.edu:2117/426495","is_oa":true,"landing_page_url":"https://hdl.handle.net/2117/426495","pdf_url":"https://upcommons.upc.edu/bitstreams/4dd454c7-ea55-4120-9909-1703e6af49bf/download","source":{"id":"https://openalex.org/S4210207057","display_name":"QRU Quaderns de Recerca en Urbanisme","issn_l":"2014-9689","issn":["2014-9689","2385-6777"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310322448","host_organization_name":"Q71272178","host_organization_lineage":["https://openalex.org/P4310322448"],"host_organization_lineage_names":["Q71272178"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:air.unimi.it:2434/1118649","is_oa":true,"landing_page_url":"https://hdl.handle.net/2434/1118649","pdf_url":null,"source":{"id":"https://openalex.org/S4306400516","display_name":"Archivio Istituzionale della Ricerca (Universita Degli Studi Di Milano)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I189158943","host_organization_name":"University of Milan","host_organization_lineage":["https://openalex.org/I189158943"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:arpi.unipi.it:11568/1268108","is_oa":false,"landing_page_url":"https://hdl.handle.net/11568/1268108","pdf_url":null,"source":{"id":"https://openalex.org/S4377196265","display_name":"CINECA IRIS Institutial research information system (University of Pisa)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I108290504","host_organization_name":"University of Pisa","host_organization_lineage":["https://openalex.org/I108290504"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1145/3698879","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3698879","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3698879","source":{"id":"https://openalex.org/S105046310","display_name":"ACM Transactions on Design Automation of Electronic Systems","issn_l":"1084-4309","issn":["1084-4309","1557-7309"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Design Automation of Electronic Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5187890174","display_name":null,"funder_award_id":"2021-SGR-01419 (ALBCOM)","funder_id":"https://openalex.org/F4320334830","funder_display_name":"Ag\u00e8ncia de Gesti\u00f3 d'Ajuts Universitaris i de Recerca"},{"id":"https://openalex.org/G8762849637","display_name":null,"funder_award_id":"PID2020-112581GB-C21 (MOTION)","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"}],"funders":[{"id":"https://openalex.org/F4320311030","display_name":"Istituto Nazionale di Alta Matematica \"Francesco Severi\"","ror":"https://ror.org/01vx64p53"},{"id":"https://openalex.org/F4320334079","display_name":"Gruppo Nazionale per il Calcolo Scientifico","ror":null},{"id":"https://openalex.org/F4320334830","display_name":"Ag\u00e8ncia de Gesti\u00f3 d'Ajuts Universitaris i de Recerca","ror":"https://ror.org/01n4pqe45"},{"id":"https://openalex.org/F4320335598","display_name":"Agencia Estatal de Investigaci\u00f3n","ror":null}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4403221911.pdf"},"referenced_works_count":20,"referenced_works":["https://openalex.org/W1494035541","https://openalex.org/W1507146030","https://openalex.org/W1545041929","https://openalex.org/W1558716994","https://openalex.org/W1963605858","https://openalex.org/W1971654502","https://openalex.org/W1975507646","https://openalex.org/W1996431812","https://openalex.org/W2135526071","https://openalex.org/W2149693580","https://openalex.org/W2160056746","https://openalex.org/W2165643425","https://openalex.org/W2745045259","https://openalex.org/W2902483789","https://openalex.org/W2908171364","https://openalex.org/W2918338434","https://openalex.org/W3036688246","https://openalex.org/W3111668726","https://openalex.org/W4230256307","https://openalex.org/W4292902531"],"related_works":["https://openalex.org/W257150968","https://openalex.org/W2368044729","https://openalex.org/W2380059383","https://openalex.org/W4224278052","https://openalex.org/W2063679720","https://openalex.org/W2031856784","https://openalex.org/W2018218513","https://openalex.org/W2109998394","https://openalex.org/W2185495545","https://openalex.org/W2142114659"],"abstract_inverted_index":{"Bi-decomposition":[0],"rewrites":[1],"logic":[2,138],"functions":[3],"as":[4,22,121],"the":[5,23,58,65,70,81,85,101,126,131],"composition":[6],"of":[7,25,40,69,84,103,116,133],"simpler":[8],"components.":[9],"It":[10],"is":[11,20],"related":[12],"to":[13,48,56,100,125,136],"Boolean":[14,38],"division,":[15],"where":[16],"a":[17,26,29,50],"given":[18],"function":[19,72,80],"rewritten":[21,120],"product":[24,127],"divisor":[27,52,66],"and":[28,53,73,96,140,146],"quotient,":[30],"but":[31],"bi-decomposition":[32,102],"can":[33],"be":[34],"defined":[35],"for":[36,87,144],"any":[37],"operation":[39],"two":[41],"operands.":[42],"The":[43],"key":[44],"questions":[45],"are":[46],"how":[47,55],"find":[49],"good":[51],"then":[54,74],"compute":[57],"quotient.":[59],"In":[60],"this":[61,134],"article,":[62],"we":[63,97],"select":[64],"by":[67,76],"approximation":[68],"original":[71],"characterize":[75],"an":[77],"incompletely":[78],"specified":[79],"full":[82],"flexibility":[83],"quotient":[86],"each":[88],"binary":[89,141],"operator.":[90,128],"We":[91,107],"target":[92],"area-driven":[93],"exact":[94,145],"bi-decomposition,":[95],"apply":[98],"it":[99],"Sum-of-Products":[104],"(SOP)":[105],"forms.":[106],"report":[108],"experiments":[109],"that":[110],"exhibit":[111],"significant":[112],"gains":[113],"in":[114],"literals":[115],"SOP":[117],"forms":[118,139],"when":[119],"bi-decompositions":[122],"with":[123],"respect":[124],"This":[129],"suggests":[130],"application":[132],"framework":[135],"other":[137],"operations,":[142],"both":[143],"approximate":[147],"implementations.":[148]},"counts_by_year":[],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2024-10-09T00:00:00"}