{"id":"https://openalex.org/W4416429480","doi":"https://doi.org/10.1109/iccad66269.2025.11240690","title":"CNOT Oriented Synthesis for Small-Scale Boolean Functions Using Spatial Structures of Parallelotopes","display_name":"CNOT Oriented Synthesis for Small-Scale Boolean Functions Using Spatial Structures of Parallelotopes","publication_year":2025,"publication_date":"2025-10-26","ids":{"openalex":"https://openalex.org/W4416429480","doi":"https://doi.org/10.1109/iccad66269.2025.11240690"},"language":null,"primary_location":{"id":"doi:10.1109/iccad66269.2025.11240690","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccad66269.2025.11240690","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE/ACM International Conference On Computer Aided Design (ICCAD)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5010962263","display_name":"Qiang Zheng","orcid":"https://orcid.org/0000-0002-9279-7779"},"institutions":[{"id":"https://openalex.org/I126520041","display_name":"University of Science and Technology of China","ror":"https://ror.org/04c4dkn09","country_code":"CN","type":"education","lineage":["https://openalex.org/I126520041","https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qiang Zheng","raw_affiliation_strings":["University of Science and Technology of China,School of Computer Science and Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Science and Technology of China,School of Computer Science and Technology","institution_ids":["https://openalex.org/I126520041"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051661575","display_name":"Yongzhen Xu","orcid":"https://orcid.org/0000-0002-9088-0130"},"institutions":[{"id":"https://openalex.org/I4400600918","display_name":"Quantum Science Center of Guangdong-Hong Kong-Macao Greater Bay Area","ror":"https://ror.org/03qb6k992","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4400600918"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yongzhen Xu","raw_affiliation_strings":["Quantum Science Center of Guangdong-Hong Kong-Macao Greater Bay Area"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Quantum Science Center of Guangdong-Hong Kong-Macao Greater Bay Area","institution_ids":["https://openalex.org/I4400600918"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101596930","display_name":"Jiaxi Zhang","orcid":"https://orcid.org/0000-0002-1115-7850"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiaxi Zhang","raw_affiliation_strings":["Peking University,School of Computer Science"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Peking University,School of Computer Science","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004598168","display_name":"Zhaofeng Su","orcid":"https://orcid.org/0000-0003-0021-225X"},"institutions":[{"id":"https://openalex.org/I126520041","display_name":"University of Science and Technology of China","ror":"https://ror.org/04c4dkn09","country_code":"CN","type":"education","lineage":["https://openalex.org/I126520041","https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhaofeng Su","raw_affiliation_strings":["University of Science and Technology of China,School of Computer Science and Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Science and Technology of China,School of Computer Science and Technology","institution_ids":["https://openalex.org/I126520041"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5077160371","display_name":"Shenggen Zheng","orcid":"https://orcid.org/0000-0001-7325-2506"},"institutions":[{"id":"https://openalex.org/I4400600918","display_name":"Quantum Science Center of Guangdong-Hong Kong-Macao Greater Bay Area","ror":"https://ror.org/03qb6k992","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4400600918"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shenggen Zheng","raw_affiliation_strings":["Quantum Science Center of Guangdong-Hong Kong-Macao Greater Bay Area"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Quantum Science Center of Guangdong-Hong Kong-Macao Greater Bay Area","institution_ids":["https://openalex.org/I4400600918"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"9"},"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.8694000244140625,"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.8694000244140625,"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.061799999326467514,"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/T11522","display_name":"VLSI and FPGA Design Techniques","score":0.008799999952316284,"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/quantum-circuit","display_name":"Quantum circuit","score":0.695900022983551},{"id":"https://openalex.org/keywords/controlled-not-gate","display_name":"Controlled NOT gate","score":0.685699999332428},{"id":"https://openalex.org/keywords/toffoli-gate","display_name":"Toffoli gate","score":0.6381999850273132},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.5748000144958496},{"id":"https://openalex.org/keywords/circuit-minimization-for-boolean-functions","display_name":"Circuit minimization for Boolean functions","score":0.5044999718666077},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.4810999929904938},{"id":"https://openalex.org/keywords/boolean-circuit","display_name":"Boolean circuit","score":0.4779999852180481},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.45739999413490295},{"id":"https://openalex.org/keywords/heuristic","display_name":"Heuristic","score":0.45329999923706055},{"id":"https://openalex.org/keywords/qubit","display_name":"Qubit","score":0.44749999046325684}],"concepts":[{"id":"https://openalex.org/C124148022","wikidata":"https://www.wikidata.org/wiki/Q2122210","display_name":"Quantum circuit","level":5,"score":0.695900022983551},{"id":"https://openalex.org/C182953411","wikidata":"https://www.wikidata.org/wiki/Q917713","display_name":"Controlled NOT gate","level":5,"score":0.685699999332428},{"id":"https://openalex.org/C142465778","wikidata":"https://www.wikidata.org/wiki/Q2502619","display_name":"Toffoli gate","level":5,"score":0.6381999850273132},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6276000142097473},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.5748000144958496},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5224999785423279},{"id":"https://openalex.org/C94992772","wikidata":"https://www.wikidata.org/wiki/Q6667469","display_name":"Circuit minimization for Boolean functions","level":4,"score":0.5044999718666077},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.4810999929904938},{"id":"https://openalex.org/C141796577","wikidata":"https://www.wikidata.org/wiki/Q837479","display_name":"Boolean circuit","level":3,"score":0.4779999852180481},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.45739999413490295},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.45329999923706055},{"id":"https://openalex.org/C203087015","wikidata":"https://www.wikidata.org/wiki/Q378201","display_name":"Qubit","level":3,"score":0.44749999046325684},{"id":"https://openalex.org/C196836630","wikidata":"https://www.wikidata.org/wiki/Q4753279","display_name":"And-inverter graph","level":4,"score":0.4465999901294708},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.44339999556541443},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.421999990940094},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.4025999903678894},{"id":"https://openalex.org/C58849907","wikidata":"https://www.wikidata.org/wiki/Q2118982","display_name":"Quantum gate","level":4,"score":0.4023999869823456},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.39410001039505005},{"id":"https://openalex.org/C111797529","wikidata":"https://www.wikidata.org/wiki/Q17080584","display_name":"Maximum satisfiability problem","level":3,"score":0.3594000041484833},{"id":"https://openalex.org/C148047603","wikidata":"https://www.wikidata.org/wiki/Q1014612","display_name":"Parallelizable manifold","level":2,"score":0.3434000015258789},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.3393000066280365},{"id":"https://openalex.org/C157922185","wikidata":"https://www.wikidata.org/wiki/Q173198","display_name":"Logic synthesis","level":3,"score":0.3346000015735626},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.3276999890804291},{"id":"https://openalex.org/C177650935","wikidata":"https://www.wikidata.org/wiki/Q1760303","display_name":"Netlist","level":2,"score":0.3246000111103058},{"id":"https://openalex.org/C137019171","wikidata":"https://www.wikidata.org/wiki/Q2623817","display_name":"Quantum algorithm","level":3,"score":0.3165999948978424},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.3149000108242035},{"id":"https://openalex.org/C158465420","wikidata":"https://www.wikidata.org/wiki/Q1979515","display_name":"Boolean expression","level":3,"score":0.31380000710487366},{"id":"https://openalex.org/C68481662","wikidata":"https://www.wikidata.org/wiki/Q176197","display_name":"Standard Boolean model","level":5,"score":0.3100000023841858},{"id":"https://openalex.org/C68576872","wikidata":"https://www.wikidata.org/wiki/Q4893239","display_name":"Quantum cellular automaton","level":3,"score":0.296999990940094},{"id":"https://openalex.org/C41045048","wikidata":"https://www.wikidata.org/wiki/Q202843","display_name":"Linear programming","level":2,"score":0.2840000092983246},{"id":"https://openalex.org/C134444547","wikidata":"https://www.wikidata.org/wiki/Q585230","display_name":"Boolean network","level":3,"score":0.28279998898506165},{"id":"https://openalex.org/C50820777","wikidata":"https://www.wikidata.org/wiki/Q213723","display_name":"Hypercube","level":2,"score":0.27639999985694885},{"id":"https://openalex.org/C200415742","wikidata":"https://www.wikidata.org/wiki/Q1350285","display_name":"True quantified Boolean formula","level":2,"score":0.27219998836517334},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.265500009059906},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.25929999351501465},{"id":"https://openalex.org/C81409106","wikidata":"https://www.wikidata.org/wiki/Q76505","display_name":"Combinational logic","level":3,"score":0.25769999623298645},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.25760000944137573},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.2506999969482422}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iccad66269.2025.11240690","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccad66269.2025.11240690","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE/ACM International Conference On Computer Aided Design (ICCAD)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W14337347","https://openalex.org/W1492999010","https://openalex.org/W1993248778","https://openalex.org/W2036680769","https://openalex.org/W2065516801","https://openalex.org/W2069028648","https://openalex.org/W2084652510","https://openalex.org/W2102008187","https://openalex.org/W2106950603","https://openalex.org/W2114969008","https://openalex.org/W2117584890","https://openalex.org/W2137147061","https://openalex.org/W2161982050","https://openalex.org/W2300738832","https://openalex.org/W2404229513","https://openalex.org/W2415710521","https://openalex.org/W2990961515","https://openalex.org/W2997682999","https://openalex.org/W4210669946","https://openalex.org/W4252740254","https://openalex.org/W4287554488","https://openalex.org/W4312790794","https://openalex.org/W4312993229","https://openalex.org/W4379116124","https://openalex.org/W4389166717","https://openalex.org/W4407169445"],"related_works":[],"abstract_inverted_index":{"Quantum":[0,21],"computing":[1],"has":[2,44],"garnered":[3],"significant":[4],"interest":[5],"for":[6,49,110],"its":[7],"potential":[8],"to":[9,38,61,84,121,143,156,180],"achieve":[10],"exponential":[11],"speedups":[12],"over":[13],"classical":[14],"approaches.":[15],"However,":[16],"in":[17,76,166,175],"the":[18,57,77,81,99,123,181],"Noisy":[19],"Intermediate-Scale":[20],"(NISQ)":[22],"era,":[23],"quantum":[24,50],"circuit":[25,51,95,168],"scalability":[26],"remains":[27],"limited":[28],"by":[29,73,80],"gate":[30,177],"fidelity":[31],"and":[32,93,172,185],"qubit":[33],"counts,":[34],"restricting":[35],"physical":[36],"implementations":[37],"small-scale":[39,111,167],"circuits.":[40],"While":[41],"prior":[42],"work":[43],"explored":[45],"logic":[46],"network":[47],"structures":[48],"synthesis,":[52,169],"these":[53],"methods":[54],"often":[55],"neglect":[56],"spatial":[58,70,119,133,158],"structure":[59,159],"intrinsic":[60],"Boolean":[62,82,112],"functions.":[63],"In":[64],"this":[65,69],"paper,":[66],"we":[67,135],"leverage":[68],"structure,":[71],"encoded":[72],"parallelotopes":[74],"embedded":[75],"hypercube":[78],"defined":[79],"function,":[83],"access":[85],"a":[86,105],"broader":[87],"optimization":[88],"space,":[89],"enhancing":[90],"synthesis":[91,107,145],"efficiency":[92],"reducing":[94],"complexity.":[96],"We":[97],"propose":[98],"Spatial":[100],"Structure-based":[101],"Hypercube":[102],"Reduction":[103],"(SSHR),":[104],"novel":[106],"method":[108],"tailored":[109],"functions":[113,142],"(\u2264":[114],"8).":[115],"SSHR":[116],"extracts":[117],"global":[118],"features":[120],"minimize":[122],"use":[124],"of":[125],"Multi-Control":[126],"Toffoli":[127],"(MCT)":[128],"gates.":[129],"To":[130],"further":[131],"exploit":[132],"correlations,":[134],"introduce":[136],"two":[137],"variants:":[138],"SSHR-H":[139],"employs":[140],"heuristic":[141],"accelerate":[144],"runtime,":[146],"while":[147],"SSHR-I":[148],"integrates":[149],"an":[150],"Integer":[151],"Linear":[152],"Programming":[153],"(ILP)":[154],"solver":[155],"maximize":[157],"utilization.":[160],"Our":[161],"approach":[162],"outperforms":[163],"existing":[164],"techniques":[165],"achieving":[170],"56%":[171],"81%":[173],"reductions":[174],"CNOT":[176],"counts":[178],"compared":[179],"Exclusive":[182],"Sum-of-Products":[183],"(ESOP)":[184],"Xor-And-Inverter":[186],"Graph":[187],"(XAG)":[188],"methods,":[189],"respectively.":[190]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-11-20T00:00:00"}