{"id":"https://openalex.org/W4318685212","doi":"https://doi.org/10.1145/3566097.3567931","title":"An SMT-Solver-Based Synthesis of NNA-Compliant Quantum Circuits Consisting of CNOT, H and T Gates","display_name":"An SMT-Solver-Based Synthesis of NNA-Compliant Quantum Circuits Consisting of CNOT, H and T Gates","publication_year":2023,"publication_date":"2023-01-16","ids":{"openalex":"https://openalex.org/W4318685212","doi":"https://doi.org/10.1145/3566097.3567931"},"language":"en","primary_location":{"id":"doi:10.1145/3566097.3567931","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3566097.3567931","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3566097.3567931","source":{"id":"https://openalex.org/S4363608968","display_name":"Proceedings of the 28th Asia and South Pacific Design Automation Conference","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":"Proceedings of the 28th Asia and South Pacific Design Automation Conference","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3566097.3567931","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5048217033","display_name":"Kyohei Seino","orcid":null},"institutions":[{"id":"https://openalex.org/I135768898","display_name":"Ritsumeikan University","ror":"https://ror.org/0197nmd03","country_code":"JP","type":"education","lineage":["https://openalex.org/I135768898","https://openalex.org/I4390039241"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Kyohei Seino","raw_affiliation_strings":["Ritsumeikan University, Japan"],"affiliations":[{"raw_affiliation_string":"Ritsumeikan University, Japan","institution_ids":["https://openalex.org/I135768898"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5068612356","display_name":"Shigeru Yamashita","orcid":"https://orcid.org/0000-0002-2279-4644"},"institutions":[{"id":"https://openalex.org/I135768898","display_name":"Ritsumeikan University","ror":"https://ror.org/0197nmd03","country_code":"JP","type":"education","lineage":["https://openalex.org/I135768898","https://openalex.org/I4390039241"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Shigeru Yamashita","raw_affiliation_strings":["Ritsumeikan University, Japan"],"affiliations":[{"raw_affiliation_string":"Ritsumeikan University, Japan","institution_ids":["https://openalex.org/I135768898"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5048217033"],"corresponding_institution_ids":["https://openalex.org/I135768898"],"apc_list":null,"apc_paid":null,"fwci":0.1088,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.19536082,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"196","last_page":"201"},"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.998199999332428,"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.9973999857902527,"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/controlled-not-gate","display_name":"Controlled NOT gate","score":0.9184024333953857},{"id":"https://openalex.org/keywords/quantum-circuit","display_name":"Quantum circuit","score":0.7071298360824585},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6711820960044861},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.6212177872657776},{"id":"https://openalex.org/keywords/quantum-gate","display_name":"Quantum gate","score":0.6076140403747559},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.595939040184021},{"id":"https://openalex.org/keywords/logic-gate","display_name":"Logic gate","score":0.434452623128891},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.42109283804893494},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.36817851662635803},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.35285699367523193},{"id":"https://openalex.org/keywords/topology","display_name":"Topology (electrical circuits)","score":0.3473414480686188},{"id":"https://openalex.org/keywords/quantum-error-correction","display_name":"Quantum error correction","score":0.33938831090927124},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.32832056283950806},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2398262619972229},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.20153576135635376},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.17737239599227905},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.06861022114753723},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.06561413407325745}],"concepts":[{"id":"https://openalex.org/C182953411","wikidata":"https://www.wikidata.org/wiki/Q917713","display_name":"Controlled NOT gate","level":5,"score":0.9184024333953857},{"id":"https://openalex.org/C124148022","wikidata":"https://www.wikidata.org/wiki/Q2122210","display_name":"Quantum circuit","level":5,"score":0.7071298360824585},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6711820960044861},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.6212177872657776},{"id":"https://openalex.org/C58849907","wikidata":"https://www.wikidata.org/wiki/Q2118982","display_name":"Quantum gate","level":4,"score":0.6076140403747559},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.595939040184021},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.434452623128891},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.42109283804893494},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.36817851662635803},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35285699367523193},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.3473414480686188},{"id":"https://openalex.org/C51003876","wikidata":"https://www.wikidata.org/wiki/Q1536431","display_name":"Quantum error correction","level":4,"score":0.33938831090927124},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.32832056283950806},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2398262619972229},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.20153576135635376},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.17737239599227905},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.06861022114753723},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.06561413407325745}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3566097.3567931","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3566097.3567931","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3566097.3567931","source":{"id":"https://openalex.org/S4363608968","display_name":"Proceedings of the 28th Asia and South Pacific Design Automation Conference","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":"Proceedings of the 28th Asia and South Pacific Design Automation Conference","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3566097.3567931","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3566097.3567931","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3566097.3567931","source":{"id":"https://openalex.org/S4363608968","display_name":"Proceedings of the 28th Asia and South Pacific Design Automation Conference","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":"Proceedings of the 28th Asia and South Pacific Design Automation Conference","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5786340949","display_name":null,"funder_award_id":"KAKENHI Grant Number","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G5915256019","display_name":null,"funder_award_id":"20H05966","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"}],"funders":[{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4318685212.pdf"},"referenced_works_count":8,"referenced_works":["https://openalex.org/W1631356911","https://openalex.org/W1635099911","https://openalex.org/W2060484632","https://openalex.org/W2084652510","https://openalex.org/W2128960899","https://openalex.org/W2130753923","https://openalex.org/W2159673235","https://openalex.org/W2928718125"],"related_works":["https://openalex.org/W3200714110","https://openalex.org/W2037793298","https://openalex.org/W4387917696","https://openalex.org/W2565839197","https://openalex.org/W4320854618","https://openalex.org/W2045473016","https://openalex.org/W2066640878","https://openalex.org/W2808177279","https://openalex.org/W3092615945","https://openalex.org/W2916307283"],"abstract_inverted_index":{"It":[0],"is":[1,34],"natural":[2],"to":[3,19,58,94,126,148],"assume":[4],"that":[5,88,133],"we":[6,89],"can":[7,90,136],"perform":[8],"quantum":[9,22,49,117],"operations":[10],"between":[11],"only":[12],"two":[13],"adjacent":[14],"physical":[15],"qubits":[16],"(quantum":[17],"bits)":[18],"realize":[20],"a":[21,116],"computer":[23],"for":[24],"both":[25],"the":[26,36,60,64,78,96,102,121,138,149,153,160],"current":[27],"and":[28,55,71,83],"possible":[29],"future":[30],"technologies.":[31],"This":[32,42],"restriction":[33],"called":[35],"Nearest":[37],"Neighbor":[38],"Architecture":[39],"(NNA)":[40],"restriction.":[41,62],"paper":[43],"proposes":[44],"an":[45,92],"SMT-solver-based":[46,66,104],"synthesis":[47,67],"of":[48,52,80,98,115,123,140,152],"circuits":[50],"consisting":[51],"CNOT,":[53],"H,":[54],"T":[56,72,82,124],"gates":[57,73,85,125,142],"satisfy":[59],"NNA":[61],"Although":[63],"existing":[65,103,154],"cannot":[68],"treat":[69],"H":[70,84],"directly,":[74],"our":[75,106,134],"method":[76,107,155],"treats":[77],"functionality":[79],"quantum-specific":[81],"carefully":[86],"so":[87],"utilize":[91],"SMT-solver":[93],"minimize":[95],"number":[97,139],"CNOT":[99,128,141],"gates;":[100],"unlike":[101],"methods,":[105],"considers":[108],"\"Don't":[109,161],"Care\"":[110,162],"conditions":[111],"in":[112],"intermediate":[113],"points":[114],"circuit":[118],"by":[119,143],"exploiting":[120],"property":[122],"reduce":[127,137],"gates.":[129],"Experimental":[130],"results":[131],"show":[132],"approach":[135],"58.11%":[144],"on":[145],"average":[146],"compared":[147],"naive":[150],"application":[151],"which":[156],"does":[157],"not":[158],"consider":[159],"condition.":[163]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}