The Power of Unentangled Quantum Proofs with Non-negative Amplitudes.

Fernando Granha Jeronimo Pei Wu

Published in: CoRR (2024)

Keyphrases

positive and negative
power consumption
quantum inspired
theorem prover
artificial intelligence
theorem proving
genetic algorithm
website
search algorithm
hybrid model
quantum computing
formal proof
quantum computation