A compact and efficient SAT encoding for quantum circuits.

Robert Wille Nils Przigoda Rolf Drechsler

Published in: AFRICON (2013)

Keyphrases

quantum computing
query expansion
sat encodings
objective function
optimal solution
cost function
linear programming
combinatorial problems
logic circuits