On the Satisfiability of Quantum Circuits of Small Treewidth.

Mateus de Oliveira Oliveira

Published in: CSR (2015)

Keyphrases

quantum computing
logic circuits
search space
high speed
upper bound
satisfiability problem
space complexity
quantum inspired
small number
low cost
quantum mechanics