Characterization of exact one-query quantum algorithms | Synapse