Details Details PDF BIBTEX RIS Title Optimal SAT Solver Synthesis of Quantum Circuits Representing Cryptographic Nonlinear Functions Journal title International Journal of Electronics and Telecommunications Yearbook 2023 Volume vol. 69 Issue No 2 Affiliation Jagielski, Adam : Military University of Technology in Warsaw, Poland Authors Jagielski, Adam Keywords quantum computing ; circuit synthesis ; cryptography ; satisfiability problem Divisions of PAS Nauki Techniczne Coverage 261-267 Publisher Polish Academy of Sciences Committee of Electronics and Telecommunications Date 2023.05.31 Type Article Identifier DOI: 10.24425/ijet.2023.144359 <div class="test"></div>