On the Satisfiability of Quantum Circuits of Small Treewidth.

Mateus de Oliveira Oliveira

Published in: Theory Comput. Syst. (2017)

Keyphrases

quantum computing
logic circuits
satisfiability problem
search space
upper bound
space complexity
logic synthesis
small number
high speed
decision procedures
computational complexity
knowledge representation
boolean functions