Towards a quantum-inspired proof for IP = PSPACE.

Ayal Green Guy Kindler Yupan Liu

Published in: Quantum Inf. Comput. (2021)

Keyphrases

cost function
quantum inspired
binary gravitational search algorithm
quantum computing
decision procedures
immune clonal
mutation operator
theorem proving
genetic algorithm
image sequences
search algorithm
principles of quantum computing
decision making
simulated annealing
genetic algorithm ga