{"id":"https://openalex.org/W2895125596","doi":"https://doi.org/10.1109/jproc.2018.2869760","title":"Logic Synthesis for Established and Emerging Computing","display_name":"Logic Synthesis for Established and Emerging Computing","publication_year":2018,"publication_date":"2018-10-01","ids":{"openalex":"https://openalex.org/W2895125596","doi":"https://doi.org/10.1109/jproc.2018.2869760","mag":"2895125596"},"language":"en","primary_location":{"id":"doi:10.1109/jproc.2018.2869760","is_oa":true,"landing_page_url":"https://doi.org/10.1109/jproc.2018.2869760","pdf_url":"https://ieeexplore.ieee.org/ielx7/5/8589029/08478240.pdf","source":{"id":"https://openalex.org/S68686220","display_name":"Proceedings of the IEEE","issn_l":"0018-9219","issn":["0018-9219","1558-2256"],"is_oa":false,"is_in_doaj":false,"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":"Proceedings of the IEEE","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://ieeexplore.ieee.org/ielx7/5/8589029/08478240.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/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":"Eleonora Testa","raw_affiliation_strings":["\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne, Lausanne, Switzerland"],"raw_orcid":"https://orcid.org/0000-0003-1114-8476","affiliations":[{"raw_affiliation_string":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne, Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]}]},{"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":["\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne, Lausanne, Switzerland"],"raw_orcid":"https://orcid.org/0000-0002-0229-8766","affiliations":[{"raw_affiliation_string":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne, Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044755471","display_name":"Luca Gaetano Amar","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 Gaetano Amar","raw_affiliation_strings":["Synopsys Inc., Mountain View, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Synopsys Inc., Mountain View, CA, USA","institution_ids":["https://openalex.org/I4210088951"]}]},{"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":["\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne, Lausanne, Switzerland"],"raw_orcid":"https://orcid.org/0000-0002-7827-3215","affiliations":[{"raw_affiliation_string":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne, Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.9146,"has_fulltext":true,"cited_by_count":39,"citation_normalized_percentile":{"value":0.94637036,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"107","issue":"1","first_page":"165","last_page":"184"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13182","display_name":"Quantum-Dot Cellular Automata","score":0.9998000264167786,"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/T13182","display_name":"Quantum-Dot Cellular Automata","score":0.9998000264167786,"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/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9990000128746033,"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/T10502","display_name":"Advanced Memory and Neural Computing","score":0.9962000250816345,"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.7379749417304993},{"id":"https://openalex.org/keywords/heuristics","display_name":"Heuristics","score":0.7055637836456299},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.6996559500694275},{"id":"https://openalex.org/keywords/heuristic","display_name":"Heuristic","score":0.5553686022758484},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4925766587257385},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.4480484127998352},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.42580342292785645},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.27604609727859497},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1519775390625}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7379749417304993},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.7055637836456299},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6996559500694275},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.5553686022758484},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4925766587257385},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.4480484127998352},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.42580342292785645},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.27604609727859497},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1519775390625},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","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},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/jproc.2018.2869760","is_oa":true,"landing_page_url":"https://doi.org/10.1109/jproc.2018.2869760","pdf_url":"https://ieeexplore.ieee.org/ielx7/5/8589029/08478240.pdf","source":{"id":"https://openalex.org/S68686220","display_name":"Proceedings of the IEEE","issn_l":"0018-9219","issn":["0018-9219","1558-2256"],"is_oa":false,"is_in_doaj":false,"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":"Proceedings of the IEEE","raw_type":"journal-article"},{"id":"pmh:oai:infoscience.epfl.ch:261169","is_oa":true,"landing_page_url":"http://infoscience.epfl.ch/record/261169","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":"","raw_type":"research article"}],"best_oa_location":{"id":"doi:10.1109/jproc.2018.2869760","is_oa":true,"landing_page_url":"https://doi.org/10.1109/jproc.2018.2869760","pdf_url":"https://ieeexplore.ieee.org/ielx7/5/8589029/08478240.pdf","source":{"id":"https://openalex.org/S68686220","display_name":"Proceedings of the IEEE","issn_l":"0018-9219","issn":["0018-9219","1558-2256"],"is_oa":false,"is_in_doaj":false,"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":"Proceedings of the IEEE","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.6399999856948853,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"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/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/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/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/F4320320924","display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung","ror":"https://ror.org/00yjd3n13"},{"id":"https://openalex.org/F4320332999","display_name":"Horizon 2020 Framework Programme","ror":"https://ror.org/00k4n6c32"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2895125596.pdf","grobid_xml":"https://content.openalex.org/works/W2895125596.grobid-xml"},"referenced_works_count":159,"referenced_works":["https://openalex.org/W35668030","https://openalex.org/W47372315","https://openalex.org/W121132963","https://openalex.org/W123380697","https://openalex.org/W1184102620","https://openalex.org/W1481714151","https://openalex.org/W1492999010","https://openalex.org/W1499231756","https://openalex.org/W1499906440","https://openalex.org/W1506680190","https://openalex.org/W1526394790","https://openalex.org/W1528837436","https://openalex.org/W1535358336","https://openalex.org/W1551090914","https://openalex.org/W1551597857","https://openalex.org/W1578592046","https://openalex.org/W1605798759","https://openalex.org/W1631356911","https://openalex.org/W1703129327","https://openalex.org/W1749786511","https://openalex.org/W1776822698","https://openalex.org/W1896033403","https://openalex.org/W1918485682","https://openalex.org/W1964399663","https://openalex.org/W1965107402","https://openalex.org/W1976924286","https://openalex.org/W1976996072","https://openalex.org/W1985315536","https://openalex.org/W1985457698","https://openalex.org/W1995135231","https://openalex.org/W1998923851","https://openalex.org/W1999347979","https://openalex.org/W2003043756","https://openalex.org/W2018094844","https://openalex.org/W2019445621","https://openalex.org/W2028206183","https://openalex.org/W2033311622","https://openalex.org/W2035561773","https://openalex.org/W2036887642","https://openalex.org/W2037931040","https://openalex.org/W2046826122","https://openalex.org/W2059030116","https://openalex.org/W2061073612","https://openalex.org/W2069447786","https://openalex.org/W2077978408","https://openalex.org/W2078644645","https://openalex.org/W2080267935","https://openalex.org/W2084652510","https://openalex.org/W2094756095","https://openalex.org/W2096704803","https://openalex.org/W2097830678","https://openalex.org/W2098667711","https://openalex.org/W2098878195","https://openalex.org/W2100465945","https://openalex.org/W2102008187","https://openalex.org/W2105715355","https://openalex.org/W2105761964","https://openalex.org/W2109449313","https://openalex.org/W2112508411","https://openalex.org/W2114638353","https://openalex.org/W2117758617","https://openalex.org/W2122701426","https://openalex.org/W2123343298","https://openalex.org/W2129183345","https://openalex.org/W2132027524","https://openalex.org/W2133403974","https://openalex.org/W2133527541","https://openalex.org/W2133559461","https://openalex.org/W2136789229","https://openalex.org/W2140132043","https://openalex.org/W2140727935","https://openalex.org/W2140975144","https://openalex.org/W2141047538","https://openalex.org/W2141472133","https://openalex.org/W2141501391","https://openalex.org/W2146532505","https://openalex.org/W2148925416","https://openalex.org/W2155163387","https://openalex.org/W2159081664","https://openalex.org/W2160210493","https://openalex.org/W2161982050","https://openalex.org/W2162616284","https://openalex.org/W2163205571","https://openalex.org/W2166795801","https://openalex.org/W2169749620","https://openalex.org/W2242458479","https://openalex.org/W2248394785","https://openalex.org/W2269513467","https://openalex.org/W2280612722","https://openalex.org/W2286978612","https://openalex.org/W2305083767","https://openalex.org/W2417049676","https://openalex.org/W2485648754","https://openalex.org/W2487095096","https://openalex.org/W2520093650","https://openalex.org/W2542879242","https://openalex.org/W2560531073","https://openalex.org/W2586874551","https://openalex.org/W2587513648","https://openalex.org/W2590761278","https://openalex.org/W2612536903","https://openalex.org/W2616847007","https://openalex.org/W2619038324","https://openalex.org/W2625327741","https://openalex.org/W2739077230","https://openalex.org/W2752061190","https://openalex.org/W2752853835","https://openalex.org/W2755920271","https://openalex.org/W2764347725","https://openalex.org/W2765753692","https://openalex.org/W2775802728","https://openalex.org/W2783368890","https://openalex.org/W2786476345","https://openalex.org/W2794046273","https://openalex.org/W2797469317","https://openalex.org/W2807343832","https://openalex.org/W2884895086","https://openalex.org/W2901091928","https://openalex.org/W2912120411","https://openalex.org/W2962949351","https://openalex.org/W2963847790","https://openalex.org/W2964026084","https://openalex.org/W2964148776","https://openalex.org/W3023478445","https://openalex.org/W3099800569","https://openalex.org/W3103149928","https://openalex.org/W3103481969","https://openalex.org/W3104446142","https://openalex.org/W3105080542","https://openalex.org/W3111297213","https://openalex.org/W3123523937","https://openalex.org/W3147706417","https://openalex.org/W4206807714","https://openalex.org/W4212955077","https://openalex.org/W4231932287","https://openalex.org/W4232131455","https://openalex.org/W4237147851","https://openalex.org/W4243823432","https://openalex.org/W4245630182","https://openalex.org/W4246381373","https://openalex.org/W4289743945","https://openalex.org/W4294577222","https://openalex.org/W6601412428","https://openalex.org/W6601903322","https://openalex.org/W6630280940","https://openalex.org/W6631557532","https://openalex.org/W6633040918","https://openalex.org/W6636213630","https://openalex.org/W6637729621","https://openalex.org/W6665112556","https://openalex.org/W6690960938","https://openalex.org/W6722220850","https://openalex.org/W6730405175","https://openalex.org/W6739166202","https://openalex.org/W6747275755","https://openalex.org/W6748082824","https://openalex.org/W6750384299","https://openalex.org/W6991201851","https://openalex.org/W7033084194"],"related_works":["https://openalex.org/W3177062893","https://openalex.org/W3125143773","https://openalex.org/W2007032764","https://openalex.org/W803550684","https://openalex.org/W2483226803","https://openalex.org/W3143937874","https://openalex.org/W4312926500","https://openalex.org/W2067280619","https://openalex.org/W4251343851","https://openalex.org/W4352977312"],"abstract_inverted_index":{"Logic":[0],"synthesis":[1,31,86,100],"is":[2,48],"an":[3],"enabling":[4],"technology":[5],"to":[6,35,42,88,126],"realize":[7],"integrated":[8],"computing":[9,81],"systems,":[10],"and":[11,61,76,78,84,91,101,107,116,121,128],"it":[12],"entails":[13],"solving":[14],"computationally":[15,49],"intractable":[16],"problems":[17,32,46],"through":[18],"a":[19],"plurality":[20],"of":[21,30,53,123],"heuristic":[22],"techniques.":[23],"A":[24],"recent":[25,96],"push":[26],"toward":[27,39],"further":[28],"formalization":[29],"has":[33],"shown":[34],"be":[36],"very":[37],"useful":[38],"both":[40,113],"attempting":[41],"solve":[43],"some":[44],"logic":[45,99],"exactly-which":[47],"possible":[50],"for":[51],"instances":[52],"limited":[54],"size":[55],"today-as":[56],"well":[57],"as":[58],"creating":[59],"new":[60,83],"more":[62],"powerful":[63],"heuristics":[64],"based":[65],"on":[66,112],"problem":[67],"decomposition.":[68],"Moreover,":[69],"technological":[70],"advances":[71],"including":[72],"nanodevices,":[73],"optical":[74],"computing,":[75],"quantum":[77,79],"cellular":[80],"require":[82],"specific":[85,110],"flows":[87],"assess":[89],"feasibility":[90],"scalability.":[92],"This":[93],"review":[94],"highlights":[95],"progress":[97],"in":[98],"optimization,":[102],"describing":[103],"models,":[104],"data":[105],"structures,":[106],"algorithms,":[108],"with":[109],"emphasis":[111],"design":[114],"quality":[115],"emerging":[117,129],"technologies.":[118],"Example":[119],"applications":[120],"results":[122],"novel":[124],"techniques":[125],"established":[127],"technologies":[130],"are":[131],"reported.":[132]},"counts_by_year":[{"year":2025,"cited_by_count":6},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":7},{"year":2020,"cited_by_count":9},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}