1 paper · 1 filter
Giulia Meuli, Mathias Soeken, Martin Roetteler +1
We present a completely automatic synthesis framework for oracle functions, a central part in many quantum algorithms. The proposed framework for resource-constrained oracle synthe…