Details Details PDF BIBTEX RIS Title Complete synthesis of identity templates for quantum and reversible logic MCT circuits using SAT-solvers and proposal of suboptimality witness notion Journal title International Journal of Electronics and Telecommunications Yearbook 2024 Volume vol. 70 Issue No 3 Authors Jagielski, Adam Affiliation Jagielski, Adam : Military University of Technology, Warsaw, Poland Keywords quantum computing ; circuit synthesis ; cryptography ; satisfiability problem ; reversible logic Divisions of PAS Nauki Techniczne Coverage 727-732 Publisher Polish Academy of Sciences Committee of Electronics and Telecommunications Date 25.07.2024 Type Article Identifier DOI: 10.24425/ijet.2024.149602