Quantum Interactive Proofs and the Complexity of Separability Testing.

Gus Gutoski Patrick M. Hayden Kevin Milner Mark M. Wilde

Published in: Theory Comput. (2015)

Keyphrases

user friendly
worst case
computational cost
neural network
search based software testing
test cases
computational complexity
decision trees
user interaction
website
test data
genetic algorithm
theorem prover
decision procedures
quantum computing
quantum inspired
real time