Quantum Proofs of Proximity.
Marcel de Sena Dall'AgnolTom GurSubhayan Roy MoulikJustin ThalerPublished in: Electron. Colloquium Comput. Complex. (2021)
Keyphrases
- theorem proving
- quantum computation
- quantum inspired
- theorem prover
- quantum computing
- mathematical proofs
- formal proofs
- equational theories
- decision procedures
- real world
- probability ranking principle
- bayesian networks
- perceptual organization
- logic circuits
- spatial proximity
- mathematical knowledge
- gestalt laws
- quantum mechanics
- database
- evolutionary algorithm
- multiscale
- image processing
- data sets
- real time