On the Satisfiability of Quantum Circuits of Small Treewidth

Mateus de Oliveira Oliveira. On the Satisfiability of Quantum Circuits of Small Treewidth. Theory Comput. Syst., 61(2):656-688, 2017. [doi]

Abstract

Abstract is missing.