Generalised quantum weakest preconditions.
Roman GielerakMarek SawerwainPublished in: Quantum Inf. Process. (2010)
Keyphrases
- quantum computation
- quantum computing
- explanation based learning
- quantum mechanics
- logic circuits
- quantum inspired
- situation calculus
- inference rules
- quantum evolutionary algorithm
- high speed
- case study
- information retrieval
- database
- optimal solution
- database systems
- data mining
- real world
- quantum genetic algorithm
- neural network
- probability ranking principle
- real time