Quantum Algorithm Design, Constraint Satisfaction, Quantum Computing, Computer Science.
the puzzle is what to do with auxiliary qubits. Again, let’s focus our attention on what the synthesis engine has to do. The engine selects an implementation of the high-level function and then “connects” it to the following function implementation. If that function has an auxiliary qubit (or