A quantum circuit superoptimizer that automatically generates and verifies circuit transformations for arbitrary quantum gate sets.
Simulate more with less memory, using a quantization compiler.
We derive the optimal mechanism for online game matchmaking with minimum expected waiting time.