Using Hoare logic for quantum circuit optimization.
Thomas HänerTorsten HoeflerMatthias TroyerPublished in: CoRR (2018)
Keyphrases
- logic circuits
- logic synthesis
- quantum computation
- digital circuits
- optimization problems
- delay insensitive
- optimization algorithm
- logic programming
- optimization process
- frequency response
- low power
- optimization methods
- optimization method
- high speed
- evolutionary algorithm
- real time
- optimization model
- multi valued
- classical logic
- predicate logic
- combinatorial optimization
- quantum computing
- neural network