{"id":"https://openalex.org/W4394595348","doi":"https://doi.org/10.62056/anmmp-4c2h","title":"New SAT-based Model for Quantum Circuit Decision Problem: Searching for Low-Cost Quantum Implementation","display_name":"New SAT-based Model for Quantum Circuit Decision Problem: Searching for Low-Cost Quantum Implementation","publication_year":2024,"publication_date":"2024-04-09","ids":{"openalex":"https://openalex.org/W4394595348","doi":"https://doi.org/10.62056/anmmp-4c2h"},"language":"en","primary_location":{"id":"doi:10.62056/anmmp-4c2h","is_oa":true,"landing_page_url":"https://doi.org/10.62056/anmmp-4c2h","pdf_url":"https://cic.iacr.org/p/1/1/31/pdf","source":{"id":"https://openalex.org/S4394708374","display_name":"IACR Communications in Cryptology","issn_l":"3006-5496","issn":["3006-5496"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320989","host_organization_name":"International Association for Cryptologic Research","host_organization_lineage":["https://openalex.org/P4310320989"],"host_organization_lineage_names":["International Association for Cryptologic Research"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IACR Communications in Cryptology","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://cic.iacr.org/p/1/1/31/pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5023592602","display_name":"Jingwen Chen","orcid":"https://orcid.org/0009-0004-3247-7601"},"institutions":[{"id":"https://openalex.org/I80143920","display_name":"Shandong University of Science and Technology","ror":"https://ror.org/04gtjhw98","country_code":"CN","type":"education","lineage":["https://openalex.org/I80143920"]},{"id":"https://openalex.org/I154099455","display_name":"Shandong University","ror":"https://ror.org/0207yh398","country_code":"CN","type":"education","lineage":["https://openalex.org/I154099455"]},{"id":"https://openalex.org/I4210132990","display_name":"State Key Laboratory of Cryptology","ror":"https://ror.org/02pn5rj08","country_code":"CN","type":"government","lineage":["https://openalex.org/I4210132990"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Jingwen Chen","raw_affiliation_strings":["Key Laboratory of Cryptologic Technology and Information Security, Ministry of Education, Shandong University, Jinan","School of Cyber Science and Technology, Shandong University, Qingdao"],"affiliations":[{"raw_affiliation_string":"Key Laboratory of Cryptologic Technology and Information Security, Ministry of Education, Shandong University, Jinan","institution_ids":["https://openalex.org/I4210132990","https://openalex.org/I154099455"]},{"raw_affiliation_string":"School of Cyber Science and Technology, Shandong University, Qingdao","institution_ids":["https://openalex.org/I80143920"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028073136","display_name":"Qun Liu","orcid":"https://orcid.org/0009-0009-6740-8223"},"institutions":[{"id":"https://openalex.org/I80143920","display_name":"Shandong University of Science and Technology","ror":"https://ror.org/04gtjhw98","country_code":"CN","type":"education","lineage":["https://openalex.org/I80143920"]},{"id":"https://openalex.org/I4210132990","display_name":"State Key Laboratory of Cryptology","ror":"https://ror.org/02pn5rj08","country_code":"CN","type":"government","lineage":["https://openalex.org/I4210132990"]},{"id":"https://openalex.org/I154099455","display_name":"Shandong University","ror":"https://ror.org/0207yh398","country_code":"CN","type":"education","lineage":["https://openalex.org/I154099455"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qun Liu","raw_affiliation_strings":["Key Laboratory of Cryptologic Technology and Information Security, Ministry of Education, Shandong University, Jinan","School of Cyber Science and Technology, Shandong University, Qingdao"],"affiliations":[{"raw_affiliation_string":"Key Laboratory of Cryptologic Technology and Information Security, Ministry of Education, Shandong University, Jinan","institution_ids":["https://openalex.org/I4210132990","https://openalex.org/I154099455"]},{"raw_affiliation_string":"School of Cyber Science and Technology, Shandong University, Qingdao","institution_ids":["https://openalex.org/I80143920"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101996761","display_name":"Yanhong Fan","orcid":"https://orcid.org/0009-0009-7080-8615"},"institutions":[{"id":"https://openalex.org/I154099455","display_name":"Shandong University","ror":"https://ror.org/0207yh398","country_code":"CN","type":"education","lineage":["https://openalex.org/I154099455"]},{"id":"https://openalex.org/I80143920","display_name":"Shandong University of Science and Technology","ror":"https://ror.org/04gtjhw98","country_code":"CN","type":"education","lineage":["https://openalex.org/I80143920"]},{"id":"https://openalex.org/I4210132990","display_name":"State Key Laboratory of Cryptology","ror":"https://ror.org/02pn5rj08","country_code":"CN","type":"government","lineage":["https://openalex.org/I4210132990"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yanhong Fan","raw_affiliation_strings":["Key Laboratory of Cryptologic Technology and Information Security, Ministry of Education, Shandong University, Jinan","School of Cyber Science and Technology, Shandong University, Qingdao"],"affiliations":[{"raw_affiliation_string":"Key Laboratory of Cryptologic Technology and Information Security, Ministry of Education, Shandong University, Jinan","institution_ids":["https://openalex.org/I4210132990","https://openalex.org/I154099455"]},{"raw_affiliation_string":"School of Cyber Science and Technology, Shandong University, Qingdao","institution_ids":["https://openalex.org/I80143920"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059035031","display_name":"Lixuan Wu","orcid":"https://orcid.org/0009-0009-5020-4363"},"institutions":[{"id":"https://openalex.org/I80143920","display_name":"Shandong University of Science and Technology","ror":"https://ror.org/04gtjhw98","country_code":"CN","type":"education","lineage":["https://openalex.org/I80143920"]},{"id":"https://openalex.org/I154099455","display_name":"Shandong University","ror":"https://ror.org/0207yh398","country_code":"CN","type":"education","lineage":["https://openalex.org/I154099455"]},{"id":"https://openalex.org/I4210132990","display_name":"State Key Laboratory of Cryptology","ror":"https://ror.org/02pn5rj08","country_code":"CN","type":"government","lineage":["https://openalex.org/I4210132990"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lixuan Wu","raw_affiliation_strings":["Key Laboratory of Cryptologic Technology and Information Security, Ministry of Education, Shandong University, Jinan","School of Cyber Science and Technology, Shandong University, Qingdao"],"affiliations":[{"raw_affiliation_string":"Key Laboratory of Cryptologic Technology and Information Security, Ministry of Education, Shandong University, Jinan","institution_ids":["https://openalex.org/I4210132990","https://openalex.org/I154099455"]},{"raw_affiliation_string":"School of Cyber Science and Technology, Shandong University, Qingdao","institution_ids":["https://openalex.org/I80143920"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048880759","display_name":"Boyun Li","orcid":"https://orcid.org/0009-0007-4092-9630"},"institutions":[{"id":"https://openalex.org/I80143920","display_name":"Shandong University of Science and Technology","ror":"https://ror.org/04gtjhw98","country_code":"CN","type":"education","lineage":["https://openalex.org/I80143920"]},{"id":"https://openalex.org/I154099455","display_name":"Shandong University","ror":"https://ror.org/0207yh398","country_code":"CN","type":"education","lineage":["https://openalex.org/I154099455"]},{"id":"https://openalex.org/I4210132990","display_name":"State Key Laboratory of Cryptology","ror":"https://ror.org/02pn5rj08","country_code":"CN","type":"government","lineage":["https://openalex.org/I4210132990"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Boyun Li","raw_affiliation_strings":["Key Laboratory of Cryptologic Technology and Information Security, Ministry of Education, Shandong University, Jinan","School of Cyber Science and Technology, Shandong University, Qingdao"],"affiliations":[{"raw_affiliation_string":"Key Laboratory of Cryptologic Technology and Information Security, Ministry of Education, Shandong University, Jinan","institution_ids":["https://openalex.org/I4210132990","https://openalex.org/I154099455"]},{"raw_affiliation_string":"School of Cyber Science and Technology, Shandong University, Qingdao","institution_ids":["https://openalex.org/I80143920"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5048972311","display_name":"Meiqin Wang","orcid":"https://orcid.org/0000-0003-1580-6544"},"institutions":[{"id":"https://openalex.org/I154099455","display_name":"Shandong University","ror":"https://ror.org/0207yh398","country_code":"CN","type":"education","lineage":["https://openalex.org/I154099455"]},{"id":"https://openalex.org/I4210132990","display_name":"State Key Laboratory of Cryptology","ror":"https://ror.org/02pn5rj08","country_code":"CN","type":"government","lineage":["https://openalex.org/I4210132990"]},{"id":"https://openalex.org/I4210136793","display_name":"Peng Cheng Laboratory","ror":"https://ror.org/03qdqbt06","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210136793"]},{"id":"https://openalex.org/I80143920","display_name":"Shandong University of Science and Technology","ror":"https://ror.org/04gtjhw98","country_code":"CN","type":"education","lineage":["https://openalex.org/I80143920"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Meiqin Wang","raw_affiliation_strings":["Key Laboratory of Cryptologic Technology and Information Security, Ministry of Education, Shandong University, Jinan","Quan Cheng Shandong Laboratory, Jinan","School of Cyber Science and Technology, Shandong University, Qingdao"],"affiliations":[{"raw_affiliation_string":"Key Laboratory of Cryptologic Technology and Information Security, Ministry of Education, Shandong University, Jinan","institution_ids":["https://openalex.org/I4210132990","https://openalex.org/I154099455"]},{"raw_affiliation_string":"Quan Cheng Shandong Laboratory, Jinan","institution_ids":["https://openalex.org/I4210136793"]},{"raw_affiliation_string":"School of Cyber Science and Technology, Shandong University, Qingdao","institution_ids":["https://openalex.org/I80143920"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5023592602"],"corresponding_institution_ids":["https://openalex.org/I154099455","https://openalex.org/I4210132990","https://openalex.org/I80143920"],"apc_list":null,"apc_paid":null,"fwci":3.2146,"has_fulltext":true,"cited_by_count":9,"citation_normalized_percentile":{"value":0.92479295,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":99},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.9962999820709229,"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/T10951","display_name":"Cryptographic Implementations and Security","score":0.9944999814033508,"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/quantum-circuit","display_name":"Quantum circuit","score":0.8371679782867432},{"id":"https://openalex.org/keywords/qubit","display_name":"Qubit","score":0.6764875650405884},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.6118597388267517},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6061451435089111},{"id":"https://openalex.org/keywords/quantum-gate","display_name":"Quantum gate","score":0.5767759680747986},{"id":"https://openalex.org/keywords/heuristic","display_name":"Heuristic","score":0.5628756284713745},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.560234546661377},{"id":"https://openalex.org/keywords/quantum-algorithm","display_name":"Quantum algorithm","score":0.5601478815078735},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.46693864464759827},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.4344554543495178},{"id":"https://openalex.org/keywords/circuit-design","display_name":"Circuit design","score":0.4189664125442505},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.37048405408859253},{"id":"https://openalex.org/keywords/quantum-error-correction","display_name":"Quantum error correction","score":0.36672019958496094},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.1328727900981903},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.1129666268825531}],"concepts":[{"id":"https://openalex.org/C124148022","wikidata":"https://www.wikidata.org/wiki/Q2122210","display_name":"Quantum circuit","level":5,"score":0.8371679782867432},{"id":"https://openalex.org/C203087015","wikidata":"https://www.wikidata.org/wiki/Q378201","display_name":"Qubit","level":3,"score":0.6764875650405884},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.6118597388267517},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6061451435089111},{"id":"https://openalex.org/C58849907","wikidata":"https://www.wikidata.org/wiki/Q2118982","display_name":"Quantum gate","level":4,"score":0.5767759680747986},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.5628756284713745},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.560234546661377},{"id":"https://openalex.org/C137019171","wikidata":"https://www.wikidata.org/wiki/Q2623817","display_name":"Quantum algorithm","level":3,"score":0.5601478815078735},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.46693864464759827},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.4344554543495178},{"id":"https://openalex.org/C190560348","wikidata":"https://www.wikidata.org/wiki/Q3245116","display_name":"Circuit design","level":2,"score":0.4189664125442505},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37048405408859253},{"id":"https://openalex.org/C51003876","wikidata":"https://www.wikidata.org/wiki/Q1536431","display_name":"Quantum error correction","level":4,"score":0.36672019958496094},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.1328727900981903},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.1129666268825531},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.62056/anmmp-4c2h","is_oa":true,"landing_page_url":"https://doi.org/10.62056/anmmp-4c2h","pdf_url":"https://cic.iacr.org/p/1/1/31/pdf","source":{"id":"https://openalex.org/S4394708374","display_name":"IACR Communications in Cryptology","issn_l":"3006-5496","issn":["3006-5496"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320989","host_organization_name":"International Association for Cryptologic Research","host_organization_lineage":["https://openalex.org/P4310320989"],"host_organization_lineage_names":["International Association for Cryptologic Research"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IACR Communications in Cryptology","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.62056/anmmp-4c2h","is_oa":true,"landing_page_url":"https://doi.org/10.62056/anmmp-4c2h","pdf_url":"https://cic.iacr.org/p/1/1/31/pdf","source":{"id":"https://openalex.org/S4394708374","display_name":"IACR Communications in Cryptology","issn_l":"3006-5496","issn":["3006-5496"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320989","host_organization_name":"International Association for Cryptologic Research","host_organization_lineage":["https://openalex.org/P4310320989"],"host_organization_lineage_names":["International Association for Cryptologic Research"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IACR Communications in Cryptology","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1121271761","display_name":null,"funder_award_id":"Program","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G2087396116","display_name":null,"funder_award_id":"China","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G269142238","display_name":null,"funder_award_id":"QCLZD202306","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G3085993365","display_name":null,"funder_award_id":"(Grant No.","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3317480652","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4979479644","display_name":null,"funder_award_id":"2018YFA070470","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G5249178904","display_name":null,"funder_award_id":"Grant No. 6","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5467697000","display_name":null,"funder_award_id":"62032014","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G5653340552","display_name":null,"funder_award_id":"2018YFA0704702","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G5939423041","display_name":null,"funder_award_id":"Technology","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5994120800","display_name":null,"funder_award_id":"Natural","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6785854632","display_name":null,"funder_award_id":"U2336207","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7106712339","display_name":null,"funder_award_id":"2023YFA1009500","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G7726157001","display_name":null,"funder_award_id":"Grant No.","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7726402512","display_name":null,"funder_award_id":"SYS202201","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G7735407926","display_name":null,"funder_award_id":"62032014","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8255934405","display_name":null,"funder_award_id":"202301","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4394595348.pdf"},"referenced_works_count":38,"referenced_works":["https://openalex.org/W45372631","https://openalex.org/W1527730705","https://openalex.org/W1600295433","https://openalex.org/W1979130667","https://openalex.org/W2003858108","https://openalex.org/W2084652510","https://openalex.org/W2114638353","https://openalex.org/W2150528339","https://openalex.org/W2212436842","https://openalex.org/W2281317404","https://openalex.org/W2293947265","https://openalex.org/W2497867845","https://openalex.org/W2504919933","https://openalex.org/W2741840250","https://openalex.org/W2764347725","https://openalex.org/W2794578022","https://openalex.org/W2895182117","https://openalex.org/W2929923944","https://openalex.org/W2995132763","https://openalex.org/W3006740938","https://openalex.org/W3022726304","https://openalex.org/W3032199016","https://openalex.org/W3111303772","https://openalex.org/W3174869063","https://openalex.org/W4205906257","https://openalex.org/W4205942658","https://openalex.org/W4206122404","https://openalex.org/W4213347158","https://openalex.org/W4220684665","https://openalex.org/W4220997891","https://openalex.org/W4240033684","https://openalex.org/W4246856544","https://openalex.org/W4248882369","https://openalex.org/W4281702688","https://openalex.org/W4289604192","https://openalex.org/W4320082852","https://openalex.org/W4386935383","https://openalex.org/W4389857096"],"related_works":["https://openalex.org/W4375959436","https://openalex.org/W4389168354","https://openalex.org/W2037426566","https://openalex.org/W2916307283","https://openalex.org/W1641472573","https://openalex.org/W4300979534","https://openalex.org/W4385310265","https://openalex.org/W3092615945","https://openalex.org/W4294534116","https://openalex.org/W2254754114"],"abstract_inverted_index":{"In":[0,35],"recent":[1],"years,":[2],"quantum":[3,28,41,54,70,108,118,160,178],"technology":[4],"has":[5,137],"been":[6],"rapidly":[7],"developed.":[8],"As":[9],"security":[10],"analyses":[11],"for":[12,26,56],"symmetric":[13],"ciphers":[14],"continue":[15],"to":[16,48,114,196],"emerge,":[17],"many":[18],"require":[19],"an":[20,100,121],"evaluation":[21],"of":[22,31,107,120,141,163,188,220],"the":[23,27,32,40,73,94,116,139,145,154,176,201,215,218,223],"resources":[24],"needed":[25],"circuit":[29,42,55,74,119,161,179,224],"implementation":[30],"encryption":[33],"algorithm.":[34],"this":[36],"regard,":[37],"we":[38,78,97,156],"propose":[39,99],"decision":[43],"problem,":[44],"which":[45,136],"requires":[46,182],"us":[47,113],"determine":[49],"whether":[50],"there":[51],"exists":[52],"a":[53,57,128,186],"given":[58,129],"permutation":[59],"f":[60],"using":[61],"M":[62],"ancilla":[63],"qubits":[64,221],"and":[65,82,168,199,222],"no":[66],"more":[67,158],"than":[68],"K":[69],"gates":[71,184],"within":[72],"depth":[75,187],"D.":[76],"Firstly,":[77],"investigate":[79],"heuristic":[80],"algorithms":[81],"classical":[83],"SAT-based":[84,102,203],"models":[85],"in":[86,92,153,210],"previous":[87,202],"works,":[88],"revealing":[89],"their":[90],"limitations":[91],"solving":[93],"problem.":[95],"Hence,":[96],"innovatively":[98],"improved":[101],"model":[103,111,174,192,204],"incorporating":[104],"three":[105],"metrics":[106],"circuits.":[109],"The":[110],"enables":[112],"find":[115,157],"optimal":[117,177],"arbitrary":[122],"3":[123],"or":[124],"4-bit":[125],"S-box":[126],"under":[127],"optimization":[130],"goal":[131],"based":[132],"on":[133,217],"SAT":[134],"solvers,":[135],"proved":[138],"optimality":[140],"circuits":[142],"constructed":[143],"by":[144,149,206,213],"tool,":[146],"LIGHTER-R.":[147],"Then,":[148],"combining":[150],"different":[151],"criteria":[152,216],"model,":[155],"compact":[159],"implementations":[162],"S-boxes":[164],"such":[165],"as":[166],"RECTANGLE":[167],"GIFT.":[169],"For":[170],"GIFT":[171],"S-box,":[172],"our":[173,191],"provides":[175],"that":[180],"only":[181],"8":[183],"with":[185],"31.":[189],"Furthermore,":[190],"can":[193],"be":[194],"generalized":[195],"linear":[197],"layers":[198],"improve":[200],"proposed":[205],"Huang":[207],"et":[208],"al.":[209],"ASIACRYPT":[211],"2022":[212],"adding":[214],"number":[219],"depth.":[225]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":4}],"updated_date":"2026-03-18T14:38:29.013473","created_date":"2025-10-10T00:00:00"}