{"id":"https://openalex.org/W4237839163","doi":"https://doi.org/10.1109/iccad.2003.1257667","title":"Fredkin/Toffoli templates for reversible logic synthesis","display_name":"Fredkin/Toffoli templates for reversible logic synthesis","publication_year":2004,"publication_date":"2004-05-13","ids":{"openalex":"https://openalex.org/W4237839163","doi":"https://doi.org/10.1109/iccad.2003.1257667"},"language":"en","primary_location":{"id":"doi:10.1109/iccad.2003.1257667","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccad.2003.1257667","pdf_url":null,"source":{"id":"https://openalex.org/S4363608282","display_name":"ICCAD-2003. International Conference on Computer Aided Design (IEEE Cat. No.03CH37486)","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":"ICCAD-2003. International Conference on Computer Aided Design (IEEE Cat. No.03CH37486)","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/A5082889085","display_name":"Dmitri Maslov","orcid":"https://orcid.org/0000-0001-7381-4556"},"institutions":[{"id":"https://openalex.org/I106938459","display_name":"University of New Brunswick","ror":"https://ror.org/05nkf0n29","country_code":"CA","type":"education","lineage":["https://openalex.org/I106938459"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"D. Maslov","raw_affiliation_strings":["University of New Brunswick, Fredericton, NB, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of New Brunswick, Fredericton, NB, Canada","institution_ids":["https://openalex.org/I106938459"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071406270","display_name":"Gerhard W. Dueck","orcid":"https://orcid.org/0000-0001-5396-4629"},"institutions":[{"id":"https://openalex.org/I106938459","display_name":"University of New Brunswick","ror":"https://ror.org/05nkf0n29","country_code":"CA","type":"education","lineage":["https://openalex.org/I106938459"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"G.W. Dueck","raw_affiliation_strings":["University of New Brunswick, Fredericton, NB, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of New Brunswick, Fredericton, NB, Canada","institution_ids":["https://openalex.org/I106938459"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102000362","display_name":"D. Michael Miller","orcid":"https://orcid.org/0000-0002-4140-3370"},"institutions":[{"id":"https://openalex.org/I212119943","display_name":"University of Victoria","ror":"https://ror.org/04s5mat29","country_code":"CA","type":"education","lineage":["https://openalex.org/I212119943"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"D.M. Miller","raw_affiliation_strings":["Department of Computer Science, University of Victoria, Victoria, BC, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Victoria, Victoria, BC, Canada","institution_ids":["https://openalex.org/I212119943"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.3467,"has_fulltext":false,"cited_by_count":21,"citation_normalized_percentile":{"value":0.83232699,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"256","last_page":"261"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":1.0,"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"}},"topics":[{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":1.0,"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/T13182","display_name":"Quantum-Dot Cellular Automata","score":0.9986000061035156,"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/T10020","display_name":"Quantum Information and Cryptography","score":0.9955000281333923,"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/toffoli-gate","display_name":"Toffoli gate","score":0.9851760268211365},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6125704050064087},{"id":"https://openalex.org/keywords/logic-gate","display_name":"Logic gate","score":0.5593121647834778},{"id":"https://openalex.org/keywords/template","display_name":"Template","score":0.5175601840019226},{"id":"https://openalex.org/keywords/quantum-gate","display_name":"Quantum gate","score":0.49538886547088623},{"id":"https://openalex.org/keywords/quantum-circuit","display_name":"Quantum circuit","score":0.4770228862762451},{"id":"https://openalex.org/keywords/logic-synthesis","display_name":"Logic synthesis","score":0.4230436384677887},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.37686342000961304},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.25445976853370667},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.1449563205242157},{"id":"https://openalex.org/keywords/quantum-network","display_name":"Quantum network","score":0.10091620683670044},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.0778733491897583}],"concepts":[{"id":"https://openalex.org/C142465778","wikidata":"https://www.wikidata.org/wiki/Q2502619","display_name":"Toffoli gate","level":5,"score":0.9851760268211365},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6125704050064087},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.5593121647834778},{"id":"https://openalex.org/C82714645","wikidata":"https://www.wikidata.org/wiki/Q438331","display_name":"Template","level":2,"score":0.5175601840019226},{"id":"https://openalex.org/C58849907","wikidata":"https://www.wikidata.org/wiki/Q2118982","display_name":"Quantum gate","level":4,"score":0.49538886547088623},{"id":"https://openalex.org/C124148022","wikidata":"https://www.wikidata.org/wiki/Q2122210","display_name":"Quantum circuit","level":5,"score":0.4770228862762451},{"id":"https://openalex.org/C157922185","wikidata":"https://www.wikidata.org/wiki/Q173198","display_name":"Logic synthesis","level":3,"score":0.4230436384677887},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.37686342000961304},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.25445976853370667},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.1449563205242157},{"id":"https://openalex.org/C186468114","wikidata":"https://www.wikidata.org/wiki/Q836478","display_name":"Quantum network","level":4,"score":0.10091620683670044},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0778733491897583},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"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":1,"locations":[{"id":"doi:10.1109/iccad.2003.1257667","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccad.2003.1257667","pdf_url":null,"source":{"id":"https://openalex.org/S4363608282","display_name":"ICCAD-2003. International Conference on Computer Aided Design (IEEE Cat. No.03CH37486)","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":"ICCAD-2003. International Conference on Computer Aided Design (IEEE Cat. No.03CH37486)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.4000000059604645,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W166530151","https://openalex.org/W189292091","https://openalex.org/W1506680190","https://openalex.org/W2113229703","https://openalex.org/W2155163387","https://openalex.org/W2950830770","https://openalex.org/W4244267487","https://openalex.org/W4251109627","https://openalex.org/W6606716470","https://openalex.org/W6607726337","https://openalex.org/W6630280940","https://openalex.org/W6759099555"],"related_works":["https://openalex.org/W1651824144","https://openalex.org/W2296345941","https://openalex.org/W2247222799","https://openalex.org/W2751254717","https://openalex.org/W4256177326","https://openalex.org/W4360611458","https://openalex.org/W1250648069","https://openalex.org/W3096921252","https://openalex.org/W4319663681","https://openalex.org/W3165240604"],"abstract_inverted_index":{"Reversible":[0],"logic":[1],"has":[2],"applications":[3],"in":[4,83,118,125],"quantum":[5],"computing,":[6,12],"low":[7],"power":[8],"CMOS,":[9],"nanotechnology,":[10],"optical":[11],"and":[13,25,38,44,114,159,170],"DNA":[14],"computing.":[15],"The":[16,64],"most":[17],"common":[18],"reversible":[19,168],"gates":[20,40,74,116,124,156],"are":[21,59,157],"the":[22,26,53,56,77,84,101,126,147],"Toffoli":[23,37,113,137],"gate":[24,102],"Fredkin":[27,39,115,140],"gate.":[28,141,149],"Our":[29],"synthesis":[30],"algorithm":[31],"first":[32],"finds":[33],"a":[34,67,70,81,94,97,119,136,139],"cascade":[35],"of":[36,55,93],"with":[41,72,152],"no":[42],"backtracking":[43],"minimal":[45],"look-ahead.":[46],"Next":[47],"we":[48,110],"apply":[49],"transformations":[50],"that":[51,75,99,112],"reduce":[52],"size":[54],"circuit.":[57],"Transformations":[58],"accomplished":[60],"via":[61],"template":[62,68],"matching.":[63],"basis":[65],"for":[66],"is":[69],"network":[71,85],"m":[73],"realizes":[76],"identity":[78],"function.":[79],"If":[80],"sequence":[82],"to":[86,131,174],"be":[87,105,132],"synthesized":[88],"matches":[89],"more":[90],"than":[91,154],"half":[92],"template,":[95],"then":[96],"transformation":[98],"reduces":[100],"count":[103],"can":[104,134],"applied.":[106],"In":[107],"this":[108,144],"paper":[109],"show":[111],"behave":[117],"similar":[120],"manner.":[121],"Therefore,":[122],"some":[123],"templates":[127,151],"may":[128],"not":[129],"need":[130],"specified-they":[133],"match":[135],"or":[138],"We":[142,161],"formalize":[143],"by":[145],"introducing":[146],"box":[148],"All":[150],"less":[153],"six":[155],"enumerated":[158],"classified.":[160],"synthesize":[162],"all":[163],"three":[164,166],"input,":[165],"output":[167],"functions":[169],"compare":[171],"our":[172],"results":[173],"those":[175],"obtained":[176],"previously.":[177]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":6},{"year":2015,"cited_by_count":2},{"year":2012,"cited_by_count":4}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}
