Pointer Quantum PCPs and Multi-Prover Games.
Alex Bredariol GriloIordanis KerenidisAttila PereszlényiPublished in: MFCS (2016)
Keyphrases
- video games
- data structure
- game theory
- computer games
- theorem proving
- theorem prover
- quantum computation
- game theoretic
- game playing
- educational games
- learning algorithm
- neural network
- multi agent systems
- nash equilibrium
- cooperative
- multi agent
- artificial intelligence
- game design
- nash equilibria
- quantum computing
- database