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

Although with some yet severe limitations, Physical working Quantum Computers are becoming available for end users. Such devices are based on the rules of Quantum Mechanics, which state that physical systems evolve through unitary transformations. …