{"id":"https://openalex.org/W3111576678","doi":"https://doi.org/10.1109/access.2020.3045014","title":"Extending Boolean Methods for Scalable Logic Synthesis","display_name":"Extending Boolean Methods for Scalable Logic Synthesis","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W3111576678","doi":"https://doi.org/10.1109/access.2020.3045014","mag":"3111576678"},"language":"en","primary_location":{"id":"doi:10.1109/access.2020.3045014","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2020.3045014","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/09294142.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/09294142.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5033842260","display_name":"Eleonora Testa","orcid":"https://orcid.org/0000-0003-1114-8476"},"institutions":[{"id":"https://openalex.org/I4210088951","display_name":"Synopsys (United States)","ror":"https://ror.org/013by2m91","country_code":"US","type":"company","lineage":["https://openalex.org/I4210088951"]},{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH","US"],"is_corresponding":true,"raw_author_name":"Eleonora Testa","raw_affiliation_strings":["Design Group, Synopsys Inc., Sunnyvale, CA, USA","LSI, Swiss Federal Institute of Technology Lausanne, Lausanne, Switzerland"],"affiliations":[{"raw_affiliation_string":"Design Group, Synopsys Inc., Sunnyvale, CA, USA","institution_ids":["https://openalex.org/I4210088951"]},{"raw_affiliation_string":"LSI, Swiss Federal Institute of Technology Lausanne, Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023405941","display_name":"Luca Amar\u00f9","orcid":null},"institutions":[{"id":"https://openalex.org/I4210088951","display_name":"Synopsys (United States)","ror":"https://ror.org/013by2m91","country_code":"US","type":"company","lineage":["https://openalex.org/I4210088951"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Luca Amaru","raw_affiliation_strings":["Design Group, Synopsys Inc., Sunnyvale, CA, USA"],"affiliations":[{"raw_affiliation_string":"Design Group, Synopsys Inc., Sunnyvale, CA, USA","institution_ids":["https://openalex.org/I4210088951"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084007478","display_name":"Mathias Soeken","orcid":"https://orcid.org/0000-0002-0229-8766"},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Mathias Soeken","raw_affiliation_strings":["LSI, Swiss Federal Institute of Technology Lausanne, Lausanne, Switzerland"],"affiliations":[{"raw_affiliation_string":"LSI, Swiss Federal Institute of Technology Lausanne, Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110450560","display_name":"Alan Mishchenko","orcid":"https://orcid.org/0009-0004-1303-6261"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alan Mishchenko","raw_affiliation_strings":["Department of Electrical Engineering and Computer Science (EECS), UC Berkeley, Berkeley, CA, USA"],"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering and Computer Science (EECS), UC Berkeley, Berkeley, CA, USA","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006756374","display_name":"Patrick Vuillod","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Patrick Vuillod","raw_affiliation_strings":["Synopsys, Grenoble, France"],"affiliations":[{"raw_affiliation_string":"Synopsys, Grenoble, France","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002568331","display_name":"Pierre\u2010Emmanuel Gaillardon","orcid":"https://orcid.org/0000-0003-3634-3999"},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Pierre-Emmanuel Gaillardon","raw_affiliation_strings":["LNIS, The University of Utah, Salt Lake City, UT, USA"],"affiliations":[{"raw_affiliation_string":"LNIS, The University of Utah, Salt Lake City, UT, USA","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5072927296","display_name":"Giovanni De Micheli","orcid":"https://orcid.org/0000-0002-7827-3215"},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Giovanni De Micheli","raw_affiliation_strings":["LSI, Swiss Federal Institute of Technology Lausanne, Lausanne, Switzerland"],"affiliations":[{"raw_affiliation_string":"LSI, Swiss Federal Institute of Technology Lausanne, Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5033842260"],"corresponding_institution_ids":["https://openalex.org/I4210088951","https://openalex.org/I5124864"],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":0.7226,"has_fulltext":true,"cited_by_count":6,"citation_normalized_percentile":{"value":0.77800678,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"8","issue":null,"first_page":"226828","last_page":"226844"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9973999857902527,"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9973999857902527,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.796897292137146},{"id":"https://openalex.org/keywords/boolean-circuit","display_name":"Boolean circuit","score":0.6979425549507141},{"id":"https://openalex.org/keywords/and-inverter-graph","display_name":"And-inverter graph","score":0.6572495102882385},{"id":"https://openalex.org/keywords/circuit-minimization-for-boolean-functions","display_name":"Circuit minimization for Boolean functions","score":0.6459683179855347},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.6330986022949219},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.6145778894424438},{"id":"https://openalex.org/keywords/boolean-expression","display_name":"Boolean expression","score":0.5343828201293945},{"id":"https://openalex.org/keywords/logic-synthesis","display_name":"Logic synthesis","score":0.5241789221763611},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5080025792121887},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.5022051334381104},{"id":"https://openalex.org/keywords/binary-decision-diagram","display_name":"Binary decision diagram","score":0.4811643064022064},{"id":"https://openalex.org/keywords/standard-boolean-model","display_name":"Standard Boolean model","score":0.469229519367218},{"id":"https://openalex.org/keywords/product-term","display_name":"Product term","score":0.4508962631225586},{"id":"https://openalex.org/keywords/logic-gate","display_name":"Logic gate","score":0.448013037443161},{"id":"https://openalex.org/keywords/combinational-logic","display_name":"Combinational logic","score":0.44750604033470154},{"id":"https://openalex.org/keywords/boolean-network","display_name":"Boolean network","score":0.4196131229400635},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.34328973293304443},{"id":"https://openalex.org/keywords/two-element-boolean-algebra","display_name":"Two-element Boolean algebra","score":0.1398497223854065},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.12280896306037903}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.796897292137146},{"id":"https://openalex.org/C141796577","wikidata":"https://www.wikidata.org/wiki/Q837479","display_name":"Boolean circuit","level":3,"score":0.6979425549507141},{"id":"https://openalex.org/C196836630","wikidata":"https://www.wikidata.org/wiki/Q4753279","display_name":"And-inverter graph","level":4,"score":0.6572495102882385},{"id":"https://openalex.org/C94992772","wikidata":"https://www.wikidata.org/wiki/Q6667469","display_name":"Circuit minimization for Boolean functions","level":4,"score":0.6459683179855347},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.6330986022949219},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6145778894424438},{"id":"https://openalex.org/C158465420","wikidata":"https://www.wikidata.org/wiki/Q1979515","display_name":"Boolean expression","level":3,"score":0.5343828201293945},{"id":"https://openalex.org/C157922185","wikidata":"https://www.wikidata.org/wiki/Q173198","display_name":"Logic synthesis","level":3,"score":0.5241789221763611},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5080025792121887},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.5022051334381104},{"id":"https://openalex.org/C3309909","wikidata":"https://www.wikidata.org/wiki/Q864155","display_name":"Binary decision diagram","level":2,"score":0.4811643064022064},{"id":"https://openalex.org/C68481662","wikidata":"https://www.wikidata.org/wiki/Q176197","display_name":"Standard Boolean model","level":5,"score":0.469229519367218},{"id":"https://openalex.org/C9429942","wikidata":"https://www.wikidata.org/wiki/Q1781698","display_name":"Product term","level":5,"score":0.4508962631225586},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.448013037443161},{"id":"https://openalex.org/C81409106","wikidata":"https://www.wikidata.org/wiki/Q76505","display_name":"Combinational logic","level":3,"score":0.44750604033470154},{"id":"https://openalex.org/C134444547","wikidata":"https://www.wikidata.org/wiki/Q585230","display_name":"Boolean network","level":3,"score":0.4196131229400635},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34328973293304443},{"id":"https://openalex.org/C207764348","wikidata":"https://www.wikidata.org/wiki/Q7858706","display_name":"Two-element Boolean algebra","level":4,"score":0.1398497223854065},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.12280896306037903},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0},{"id":"https://openalex.org/C169171071","wikidata":"https://www.wikidata.org/wiki/Q5449241","display_name":"Filtered algebra","level":3,"score":0.0},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.0},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/access.2020.3045014","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2020.3045014","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/09294142.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:cc668a7109f1414c9d4538abe9cb099b","is_oa":true,"landing_page_url":"https://doaj.org/article/cc668a7109f1414c9d4538abe9cb099b","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 8, Pp 226828-226844 (2020)","raw_type":"article"},{"id":"pmh:oai:infoscience.epfl.ch:283285","is_oa":true,"landing_page_url":"https://infoscience.epfl.ch/handle/20.500.14299/175267","pdf_url":null,"source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"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":"research article"}],"best_oa_location":{"id":"doi:10.1109/access.2020.3045014","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2020.3045014","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/09294142.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2561939746","display_name":null,"funder_award_id":"ERC-2014-ADG 669354 CyberCare","funder_id":"https://openalex.org/F4320320924","funder_display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung"},{"id":"https://openalex.org/G3592851222","display_name":null,"funder_award_id":"200021-169084 MAJesty","funder_id":"https://openalex.org/F4320320924","funder_display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung"},{"id":"https://openalex.org/G3600728046","display_name":"Paleontology and stratigraphy of the Jura Molasse, the South Rhine Graben and the North Bresse Graben: paleogeographic, paleoclimatic and geodynamic implications","funder_award_id":"66935","funder_id":"https://openalex.org/F4320320924","funder_display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung"},{"id":"https://openalex.org/G4836148144","display_name":null,"funder_award_id":"20002","funder_id":"https://openalex.org/F4320320924","funder_display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung"},{"id":"https://openalex.org/G5256785375","display_name":null,"funder_award_id":"200021-","funder_id":"https://openalex.org/F4320320924","funder_display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung"},{"id":"https://openalex.org/G5699538264","display_name":"Quality control for animal cell culture derived products by process control of production under protein-free conditions","funder_award_id":"45014","funder_id":"https://openalex.org/F4320320924","funder_display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung"},{"id":"https://openalex.org/G5758087479","display_name":null,"funder_award_id":"2867.001","funder_id":"https://openalex.org/F4320306087","funder_display_name":"Semiconductor Research Corporation"},{"id":"https://openalex.org/G6592571891","display_name":null,"funder_award_id":"2710.001","funder_id":"https://openalex.org/F4320306087","funder_display_name":"Semiconductor Research Corporation"},{"id":"https://openalex.org/G6653270859","display_name":null,"funder_award_id":"200021-169084","funder_id":"https://openalex.org/F4320320924","funder_display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung"},{"id":"https://openalex.org/G8036059369","display_name":null,"funder_award_id":"FA8650-18-2-7849","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G848032724","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G863516141","display_name":"MAJesty: Logic Synthesis with Majority-Inverter Graphs","funder_award_id":"169084","funder_id":"https://openalex.org/F4320320924","funder_display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung"},{"id":"https://openalex.org/G993971353","display_name":null,"funder_award_id":"200021","funder_id":"https://openalex.org/F4320320924","funder_display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320306087","display_name":"Semiconductor Research Corporation","ror":"https://ror.org/047z4n946"},{"id":"https://openalex.org/F4320320924","display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung","ror":"https://ror.org/00yjd3n13"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320332815","display_name":"Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320332999","display_name":"Horizon 2020 Framework Programme","ror":"https://ror.org/00k4n6c32"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3111576678.pdf","grobid_xml":"https://content.openalex.org/works/W3111576678.grobid-xml"},"referenced_works_count":44,"referenced_works":["https://openalex.org/W35668030","https://openalex.org/W123380697","https://openalex.org/W359341721","https://openalex.org/W1505590927","https://openalex.org/W1527441981","https://openalex.org/W1528837436","https://openalex.org/W1596778355","https://openalex.org/W1993932586","https://openalex.org/W1995135231","https://openalex.org/W1996198117","https://openalex.org/W2035561773","https://openalex.org/W2037931040","https://openalex.org/W2080267935","https://openalex.org/W2097830678","https://openalex.org/W2100465945","https://openalex.org/W2106950603","https://openalex.org/W2108016168","https://openalex.org/W2119748374","https://openalex.org/W2125803098","https://openalex.org/W2129183345","https://openalex.org/W2133085302","https://openalex.org/W2139223470","https://openalex.org/W2140132043","https://openalex.org/W2162616284","https://openalex.org/W2166795801","https://openalex.org/W2242458479","https://openalex.org/W2482661504","https://openalex.org/W2520093650","https://openalex.org/W2590761278","https://openalex.org/W2612536903","https://openalex.org/W2752853835","https://openalex.org/W2786101043","https://openalex.org/W2797469317","https://openalex.org/W2798324074","https://openalex.org/W2895125596","https://openalex.org/W2898100868","https://openalex.org/W2906525761","https://openalex.org/W2945283099","https://openalex.org/W2946189651","https://openalex.org/W2949416802","https://openalex.org/W2962949351","https://openalex.org/W4244121278","https://openalex.org/W6601412428","https://openalex.org/W6750384299"],"related_works":["https://openalex.org/W4231391991","https://openalex.org/W2131164334","https://openalex.org/W2289022454","https://openalex.org/W3141532631","https://openalex.org/W2105128170","https://openalex.org/W2022093294","https://openalex.org/W2117179527","https://openalex.org/W2735569833","https://openalex.org/W4388918472","https://openalex.org/W83199760"],"abstract_inverted_index":{"In":[0,52,68],"recent":[1],"years,":[2],"Boolean":[3,26,54,63,75,97,142,151,218],"methods":[4,27,64,152,173],"in":[5,49,65,84,148,174,211,222],"logic":[6,41,66,177],"synthesis":[7,87,192,197],"have":[8,164],"been":[9],"drawing":[10],"the":[11,18,60,133,136,139,150,159,166,195,201,216,237,240],"attention":[12],"of":[13,24,39,59,92,135,141,161,239],"EDA":[14,214],"researchers":[15],"due":[16],"to":[17,21,79,99,125,180],"continuous":[19],"push":[20],"advance":[22],"quality":[23],"results.":[25],"require":[28],"high":[29],"computational":[30],"cost,":[31],"as":[32],"they":[33],"rely":[34],"on":[35],"complete":[36],"functional":[37,130],"properties":[38],"a":[40,85,182,212],"circuit":[42,93],"(e.g.,":[43],"don't":[44,127],"cares),":[45],"but":[46],"usually":[47],"result":[48],"better":[50],"optimization.":[51],"particular,":[53],"resubstitution":[55,76,143,168],"is":[56],"considered":[57],"one":[58,157],"most":[61],"powerful":[62],"synthesis.":[67],"this":[69],"paper,":[70],"we":[71,144,199],"present":[72,145],"three":[73],"novel":[74,183],"algorithms":[77],"designed":[78],"be":[80,100],"scalable":[81],"and":[82,96,102,111,120,129,227],"runtime-effective":[83],"modern":[86],"flow.":[88,185],"They":[89],"make":[90],"use":[91],"partitioning":[94],"techniques":[95,169],"filtering":[98],"fast":[101],"computationally":[103],"tractable.":[104],"We":[105,163],"also":[106],"discuss":[107],"different":[108,146],"data":[109],"structures":[110],"reasoning":[112],"engines,":[113],"namely":[114],"truth":[115],"tables,":[116],"binary":[117],"decision":[118],"diagrams,":[119],"satisfiability,":[121],"that":[122],"are":[123,153],"required":[124],"gather":[126],"cares":[128],"information.":[131],"As":[132],"choice":[134],"engine":[137,179],"determines":[138],"scalability":[140],"scenarios":[147],"which":[149],"best":[154],"driven":[155],"by":[156],"or":[158],"other":[160],"these.":[162],"implemented":[165],"presented":[167],"together":[170],"with":[171],"state-of-the-art":[172],"an":[175],"industrial":[176],"optimization":[178],"create":[181],"resynthesis":[184,188,219],"Our":[186],"global":[187],"flow":[189,220],"achieves":[190],"significant":[191],"results:":[193],"Within":[194],"EPFL":[196],"competition,":[198],"improve":[200],"best-known":[202],"area":[203,225],"results":[204,221],"when":[205,209],"mapped":[206],"into":[207],"LUT-6;":[208],"embedded":[210],"commercial":[213],"flow,":[215],"new":[217],"3.12%":[223],"combinational":[224],"savings":[226],"1.34%":[228],"WNS":[229],"reduction":[230],"after":[231],"physical":[232],"implementation,":[233],"at":[234],"contained":[235],"(w.r.t.":[236],"time":[238],"entire":[241],"flow)":[242],"runtime":[243],"cost.":[244]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":1}],"updated_date":"2026-04-11T08:14:18.477133","created_date":"2025-10-10T00:00:00"}