Pointer Quantum PCPs and Multi-Prover Games.
Alex Bredariol GriloIordanis KerenidisAttila PereszlényiPublished in: CoRR (2016)
Keyphrases
- computer games
- data structure
- game playing
- video games
- artificial intelligence
- quantum computation
- game players
- game theory
- theorem proving
- automated theorem proving
- multi agent
- case study
- information systems
- theorem prover
- learning algorithm
- serious games
- game design
- cooperative
- game theoretic
- nash equilibria
- perfect information
- probability ranking principle
- quantum evolutionary algorithm