Towards a quantum-inspired proof for IP = PSPACE.

Ayal Green Yupan Liu Guy Kindler

Published in: CoRR (2019)

Keyphrases

quantum inspired
binary gravitational search algorithm
quantum computing
immune clonal
decision procedures
genetic algorithm
principles of quantum computing
neural network
mutation operator
binary particle swarm optimization
theorem proving
multi view
genetic programming
context aware