{"id":"https://openalex.org/W4318686623","doi":"https://doi.org/10.1145/3566097.3567929","title":"A SAT Encoding for Optimal Clifford Circuit Synthesis","display_name":"A SAT Encoding for Optimal Clifford Circuit Synthesis","publication_year":2023,"publication_date":"2023-01-16","ids":{"openalex":"https://openalex.org/W4318686623","doi":"https://doi.org/10.1145/3566097.3567929"},"language":"en","primary_location":{"id":"doi:10.1145/3566097.3567929","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3566097.3567929","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3566097.3567929","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.3567929","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5069365572","display_name":"Sarah Schneider","orcid":"https://orcid.org/0000-0002-1410-8077"},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"Sarah Schneider","raw_affiliation_strings":["Johannes Kepler University Linz, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Johannes Kepler University Linz, Austria","institution_ids":["https://openalex.org/I121883995"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012129773","display_name":"Lukas Burgholzer","orcid":"https://orcid.org/0000-0003-4699-1316"},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Lukas Burgholzer","raw_affiliation_strings":["Johannes Kepler University Linz, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Johannes Kepler University Linz, Austria","institution_ids":["https://openalex.org/I121883995"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5004214923","display_name":"Robert Wille","orcid":"https://orcid.org/0000-0002-4993-7860"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Robert Wille","raw_affiliation_strings":["Technical University of Munich, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technical University of Munich, Germany","institution_ids":["https://openalex.org/I62916508"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5069365572"],"corresponding_institution_ids":["https://openalex.org/I121883995"],"apc_list":null,"apc_paid":null,"fwci":6.6101,"has_fulltext":true,"cited_by_count":15,"citation_normalized_percentile":{"value":0.97247706,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"190","last_page":"195"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10363","display_name":"Low-power high-performance VLSI design","score":0.982699990272522,"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"}},"topics":[{"id":"https://openalex.org/T10363","display_name":"Low-power high-performance VLSI design","score":0.982699990272522,"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"}},{"id":"https://openalex.org/T11283","display_name":"Experimental Learning in Engineering","score":0.977400004863739,"subfield":{"id":"https://openalex.org/subfields/2214","display_name":"Media Technology"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10323","display_name":"Analog and Mixed-Signal Circuit Design","score":0.9768000245094299,"subfield":{"id":"https://openalex.org/subfields/2204","display_name":"Biomedical 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/encoding","display_name":"Encoding (memory)","score":0.679440438747406},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6126335859298706},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.4911026954650879},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.4249681830406189},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.34534454345703125},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.18337315320968628},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.17996928095817566}],"concepts":[{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.679440438747406},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6126335859298706},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4911026954650879},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.4249681830406189},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34534454345703125},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.18337315320968628},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.17996928095817566}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3566097.3567929","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3566097.3567929","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3566097.3567929","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.3567929","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3566097.3567929","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3566097.3567929","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/G1929973641","display_name":null,"funder_award_id":"101001318","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G2473394145","display_name":null,"funder_award_id":"101001318","funder_id":"https://openalex.org/F4320334678","funder_display_name":"European Research Council"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320327593","display_name":"Bundesministerium f\u00fcr Digitalisierung und Wirtschaftsstandort","ror":null},{"id":"https://openalex.org/F4320334678","display_name":"European Research Council","ror":"https://ror.org/0472cxd90"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4318686623.pdf"},"referenced_works_count":24,"referenced_works":["https://openalex.org/W1022177737","https://openalex.org/W1839785972","https://openalex.org/W1923824182","https://openalex.org/W2019827905","https://openalex.org/W2038749191","https://openalex.org/W2084652510","https://openalex.org/W2109676928","https://openalex.org/W2943212343","https://openalex.org/W2944950567","https://openalex.org/W3158389508","https://openalex.org/W3209612530","https://openalex.org/W3216270469","https://openalex.org/W4221165917","https://openalex.org/W4287554488","https://openalex.org/W4287815573","https://openalex.org/W6660731767","https://openalex.org/W6663301233","https://openalex.org/W6674923761","https://openalex.org/W6675550851","https://openalex.org/W6677184363","https://openalex.org/W6753930987","https://openalex.org/W6782164646","https://openalex.org/W6842357025","https://openalex.org/W6967071126"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2051487156","https://openalex.org/W2073681303","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W4391913857"],"abstract_inverted_index":{"Executing":[0],"quantum":[1,5,70],"algorithms":[2],"on":[3,126,193],"a":[4,103,131,139,145],"computer":[6],"requires":[7],"compilation":[8,30],"to":[9,13,21,33,48,79,92,102,154,160],"representations":[10],"that":[11,179],"conform":[12],"all":[14],"restrictions":[15],"imposed":[16],"by":[17,183,190],"the":[18,29,52,61,93,128,169,173,180,187],"device.":[19],"Due":[20,91],"devices'":[22],"limited":[23,101],"coherence":[24],"times":[25,165],"and":[26,87,135],"gate":[27,54],"fidelities,":[28],"process":[31],"has":[32,47],"be":[34,49],"optimized":[35],"as":[36,38,130,166,168],"much":[37],"possible.":[39],"To":[40],"this":[41,57,111],"end,":[42],"an":[43,118],"algorithm's":[44],"description":[45],"first":[46],"synthesized":[50],"using":[51,138],"device's":[53],"library.":[55],"In":[56],"paper,":[58],"we":[59,116,176],"consider":[60],"optimal":[62,98,119,156],"synthesis":[63,85,120],"of":[64,69,105,110,172],"Clifford":[65,123],"circuits---an":[66],"important":[67],"subclass":[68],"circuits,":[71],"with":[72,144],"various":[73],"applications.":[74],"Such":[75],"techniques":[76,99],"are":[77,100],"essential":[78],"establish":[80],"lower":[81,188],"bounds":[82],"for":[83,122,158],"(heuristic)":[84],"methods":[86],"gauging":[88],"their":[89],"performance.":[90],"huge":[94],"search":[95,147],"space,":[96],"existing":[97],"maximum":[104],"six":[106],"qubits.":[107],"The":[108,149,195],"contribution":[109],"work":[112],"is":[113,152,198],"twofold:":[114],"First,":[115],"propose":[117],"method":[121],"circuits":[124,157],"based":[125],"encoding":[127],"task":[129],"satisfiability":[132],"(SAT)":[133],"problem":[134],"solving":[136],"it":[137],"SAT":[140],"solver":[141],"in":[142],"conjunction":[143],"binary":[146],"scheme.":[148],"resulting":[150,196],"tool":[151,197],"demonstrated":[153],"synthesize":[155],"up":[159],"26":[161],"qubits---more":[162],"than":[163],"four":[164],"many":[167],"current":[170],"state":[171],"art.":[174],"Second,":[175],"experimentally":[177],"show":[178],"overhead":[181],"introduced":[182],"state-of-the-art":[184],"heuristics":[185],"exceeds":[186],"bound":[189],"27":[191],"%":[192],"average.":[194],"publicly":[199],"available":[200],"at":[201],"https://github.com/cda-tum/qmap.":[202]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":6},{"year":2022,"cited_by_count":1}],"updated_date":"2026-05-21T09:19:25.381259","created_date":"2025-10-10T00:00:00"}