SAT-based {CNOT, \(T\)} quantum circuit synthesis

DOI10.1007/978-3-319-99498-7_12OpenAlexW2888334837MaRDI QIDQ1796379

Mathias Soeken, Giulia Meuli, Giovanni De Micheli

Publication date: 17 October 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-99498-7_12

zbMATH Keywords

quantum computing\(\text{Clifford}+\text{T}\) circuitsSAT-based rewriting algorithm

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum computation (81P68)

Related Items (2)

Synthesizing quantum circuits of AES with lower \(T\)-depth and less qubits ⋮ Boolean satisfiability in quantum compilation

This page was built for publication: SAT-based {CNOT, \(T\)} quantum circuit synthesis