Assertion-based optimization of Quantum programs.
Thomas HänerTorsten HoeflerMatthias TroyerPublished in: Proc. ACM Program. Lang. (2020)
Keyphrases
- optimization algorithm
- global optimization
- optimization problems
- quantum computation
- optimization process
- optimization method
- real time
- constrained optimization
- evolution strategy
- cost function
- linear programming
- search algorithm
- multi agent
- optimization procedure
- fixpoint
- robust optimization
- joint optimization
- discrete optimization
- optimization strategies
- information retrieval