Answer Set Programming; Clifford+T Synthesis; CNOT Minimization; Quantum Circuit Synthesis

In the last year, physical working Quantum Computers have been built and made available for the end users. Such devices, working under the rules of Quantum Mechanics, can only apply a finite set of one/two qubit operations that form a universal set …