Keyphrases
- quantum computing
- quantum computation
- theorem proving
- formal proof
- artificial intelligence
- equational theories
- formal proofs
- theorem prover
- data structure
- decision procedures
- quantum inspired
- multiresolution
- channel capacity
- bayesian networks
- face recognition
- three dimensional
- knowledge base
- real time
- probability ranking principle