{"id":"https://openalex.org/W2145633150","doi":"https://doi.org/10.1109/tcad.2009.2017215","title":"Exact Multiple-Control Toffoli Network Synthesis With SAT Techniques","display_name":"Exact Multiple-Control Toffoli Network Synthesis With SAT Techniques","publication_year":2009,"publication_date":"2009-04-22","ids":{"openalex":"https://openalex.org/W2145633150","doi":"https://doi.org/10.1109/tcad.2009.2017215","mag":"2145633150"},"language":"en","primary_location":{"id":"doi:10.1109/tcad.2009.2017215","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2009.2017215","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-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/A5086566894","display_name":"Daniel Gro\u00dfe","orcid":"https://orcid.org/0000-0002-1490-6175"},"institutions":[{"id":"https://openalex.org/I180437899","display_name":"University of Bremen","ror":"https://ror.org/04ers2y35","country_code":"DE","type":"education","lineage":["https://openalex.org/I180437899"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"D. Grosse","raw_affiliation_strings":["Univ. of Bremen, Bremen"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Univ. of Bremen, Bremen","institution_ids":["https://openalex.org/I180437899"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004214923","display_name":"Robert Wille","orcid":"https://orcid.org/0000-0002-4993-7860"},"institutions":[{"id":"https://openalex.org/I180437899","display_name":"University of Bremen","ror":"https://ror.org/04ers2y35","country_code":"DE","type":"education","lineage":["https://openalex.org/I180437899"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"R. Wille","raw_affiliation_strings":["University of Bremen, Bremen, Germany","Univ. of Bremen, Bremen"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Bremen, Bremen, Germany","institution_ids":["https://openalex.org/I180437899"]},{"raw_affiliation_string":"Univ. of Bremen, Bremen","institution_ids":["https://openalex.org/I180437899"]}]},{"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":["Faculty of Computer Science, University of New Brunswick, Fredericton, NB, Canada","Fac. of Comput. Sci, Univ. of New Brunswick, Fredericton, NB"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Computer Science, University of New Brunswick, Fredericton, NB, Canada","institution_ids":["https://openalex.org/I106938459"]},{"raw_affiliation_string":"Fac. of Comput. Sci, Univ. of New Brunswick, Fredericton, NB","institution_ids":["https://openalex.org/I106938459"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5071742136","display_name":"Rolf Drechsler","orcid":"https://orcid.org/0000-0002-9872-1740"},"institutions":[{"id":"https://openalex.org/I180437899","display_name":"University of Bremen","ror":"https://ror.org/04ers2y35","country_code":"DE","type":"education","lineage":["https://openalex.org/I180437899"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"R. Drechsler","raw_affiliation_strings":["University of Bremen, Bremen, Germany","Univ. of Bremen, Bremen"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Bremen, Bremen, Germany","institution_ids":["https://openalex.org/I180437899"]},{"raw_affiliation_string":"Univ. of Bremen, Bremen","institution_ids":["https://openalex.org/I180437899"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":24.5389,"has_fulltext":false,"cited_by_count":182,"citation_normalized_percentile":{"value":0.99533673,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":100},"biblio":{"volume":"28","issue":"5","first_page":"703","last_page":"715"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9998999834060669,"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":0.9998999834060669,"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.9993000030517578,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9897000193595886,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/toffoli-gate","display_name":"Toffoli gate","score":0.844504177570343},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7013022899627686},{"id":"https://openalex.org/keywords/heuristic","display_name":"Heuristic","score":0.5304692983627319},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.5094059109687805},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.5008032321929932},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4709148108959198},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.46055805683135986},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.4407894015312195},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.37171489000320435},{"id":"https://openalex.org/keywords/quantum-gate","display_name":"Quantum gate","score":0.19818615913391113},{"id":"https://openalex.org/keywords/quantum-algorithm","display_name":"Quantum algorithm","score":0.1405068039894104},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.11543673276901245},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.11533698439598083}],"concepts":[{"id":"https://openalex.org/C142465778","wikidata":"https://www.wikidata.org/wiki/Q2502619","display_name":"Toffoli gate","level":5,"score":0.844504177570343},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7013022899627686},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.5304692983627319},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.5094059109687805},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.5008032321929932},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4709148108959198},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.46055805683135986},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.4407894015312195},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37171489000320435},{"id":"https://openalex.org/C58849907","wikidata":"https://www.wikidata.org/wiki/Q2118982","display_name":"Quantum gate","level":4,"score":0.19818615913391113},{"id":"https://openalex.org/C137019171","wikidata":"https://www.wikidata.org/wiki/Q2623817","display_name":"Quantum algorithm","level":3,"score":0.1405068039894104},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.11543673276901245},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.11533698439598083},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","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},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tcad.2009.2017215","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2009.2017215","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6299999952316284,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":56,"referenced_works":["https://openalex.org/W117331286","https://openalex.org/W189292091","https://openalex.org/W579013412","https://openalex.org/W1518705996","https://openalex.org/W1589045411","https://openalex.org/W1631356911","https://openalex.org/W1787074469","https://openalex.org/W1819209966","https://openalex.org/W1840416799","https://openalex.org/W1979903718","https://openalex.org/W2001859357","https://openalex.org/W2003989103","https://openalex.org/W2033055726","https://openalex.org/W2036085256","https://openalex.org/W2036265926","https://openalex.org/W2044560939","https://openalex.org/W2049034545","https://openalex.org/W2057361103","https://openalex.org/W2062897452","https://openalex.org/W2068967633","https://openalex.org/W2075959177","https://openalex.org/W2090447085","https://openalex.org/W2101220699","https://openalex.org/W2102008187","https://openalex.org/W2105259569","https://openalex.org/W2113620420","https://openalex.org/W2114241070","https://openalex.org/W2130070545","https://openalex.org/W2130753923","https://openalex.org/W2133527541","https://openalex.org/W2142785340","https://openalex.org/W2144272791","https://openalex.org/W2146237355","https://openalex.org/W2146532505","https://openalex.org/W2146616935","https://openalex.org/W2150088560","https://openalex.org/W2155163387","https://openalex.org/W2155180508","https://openalex.org/W2157913906","https://openalex.org/W2160444875","https://openalex.org/W2164968369","https://openalex.org/W2764347725","https://openalex.org/W2904982962","https://openalex.org/W2912120411","https://openalex.org/W2912318510","https://openalex.org/W3147622110","https://openalex.org/W4233798822","https://openalex.org/W4242597152","https://openalex.org/W4246501344","https://openalex.org/W4247585869","https://openalex.org/W4251109627","https://openalex.org/W4285719527","https://openalex.org/W4292002790","https://openalex.org/W6604759234","https://openalex.org/W6607726337","https://openalex.org/W6681460622"],"related_works":["https://openalex.org/W2538320035","https://openalex.org/W3176904788","https://openalex.org/W21597398","https://openalex.org/W2091617677","https://openalex.org/W4298153058","https://openalex.org/W2408080066","https://openalex.org/W2268872489","https://openalex.org/W1913543287","https://openalex.org/W2014111643","https://openalex.org/W2963044240"],"abstract_inverted_index":{"Synthesis":[0],"of":[1,21,48,65,83,95,118,154,214],"reversible":[2,39,181],"logic":[3],"has":[4,131],"become":[5],"a":[6,44,53,77,93,123,166,211,226],"very":[7],"important":[8],"research":[9],"area":[10],"in":[11,18],"recent":[12],"years.":[13],"Applications":[14],"can":[15],"be":[16],"found":[17,249],"the":[19,30,63,80,89,128,138,145,151,155,185,195,201,217,229,237,244,250],"domain":[20],"low-power":[22],"design,":[23],"optical":[24],"computing,":[25],"and":[26,157],"quantum":[27],"computing.":[28],"In":[29,57,173,224,235],"past,":[31],"several":[32],"approaches":[33,246],"have":[34,247],"been":[35,132],"introduced":[36],"that":[37,73,136,193],"synthesize":[38],"networks":[40,68,259],"with":[41,79,228],"respect":[42],"to":[43,75,177,204],"given":[45,129],"function.":[46],"Most":[47],"these":[49,119,162],"methods":[50],"only":[51],"approximate":[52],"minimal":[54,81,251],"network":[55,78,125],"representation.":[56],"this":[58],"paper,":[59],"exact":[60,221],"algorithms":[61,72,87],"for":[62,127,140,144,241,254],"synthesis":[64,90,141,187,222],"multiple-control":[66],"Toffoli":[67,124],"are":[69,101,182],"presented,":[70],"i.e.,":[71],"guarantee":[74],"find":[76],"number":[82],"gates.":[84],"Our":[85],"iterative":[86],"formulate":[88],"problem":[91],"as":[92,103,116],"sequence":[94],"decision":[96,99],"problems.":[97],"The":[98],"problems":[100],"encoded":[102],"Boolean":[104],"satisfiability":[105],"(SAT)":[106],"or":[107],"SAT":[108,156],"modulo":[109],"theory":[110],"(SMT)":[111],"instances,":[112],"respectively.":[113],"As":[114],"soon":[115],"one":[117],"instances":[120],"becomes":[121],"satisfiable,":[122],"representation":[126],"function":[130],"found.":[133],"We":[134],"show":[135,239],"choosing":[137],"encoding":[139],"is":[142,191,233],"crucial":[143],"resulting":[146,186],"runtimes.":[147],"Furthermore,":[148],"we":[149,164],"discuss":[150],"principal":[152],"limits":[153],"SMT":[158],"approaches.":[159],"To":[160],"overcome":[161],"limits,":[163],"propose":[165],"method":[167],"using":[168],"problem-specific":[169],"knowledge":[170],"during":[171],"synthesis.":[172],"addition,":[174,225],"better":[175],"embeddings":[176],"make":[178],"irreversible":[179],"functions":[180],"considered.":[183],"For":[184],"problems,":[188],"an":[189],"improvement":[190],"presented":[192],"reduces":[194],"overall":[196],"runtime":[197],"by":[198],"automatically":[199],"setting":[200],"constant":[202],"inputs":[203],"their":[205],"optimal":[206],"values.":[207],"Experimental":[208],"results":[209,232,238],"on":[210],"large":[212],"set":[213],"benchmarks":[215],"demonstrate":[216],"differences":[218],"between":[219],"three":[220],"algorithms.":[223],"comparison":[227],"best-known":[230],"heuristic":[231,245],"provided.":[234],"summary,":[236],"that,":[240],"some":[242],"benchmarks,":[243,256],"already":[248],"network,":[252],"while":[253],"other":[255],"significantly":[257],"smaller":[258],"exist.":[260]},"counts_by_year":[{"year":2026,"cited_by_count":4},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":8},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":10},{"year":2019,"cited_by_count":7},{"year":2018,"cited_by_count":10},{"year":2017,"cited_by_count":13},{"year":2016,"cited_by_count":17},{"year":2015,"cited_by_count":16},{"year":2014,"cited_by_count":19},{"year":2013,"cited_by_count":17},{"year":2012,"cited_by_count":17}],"updated_date":"2026-07-29T09:40:50.615796","created_date":"2025-10-10T00:00:00"}