Unique Games with Entangled Provers are Easy.
Julia KempeOded RegevBen TonerPublished in: FOCS (2008)
Keyphrases
- theorem prover
- pure nash equilibrium
- theorem proving
- computer games
- stochastic games
- artificial intelligence
- weighted majority
- video games
- game theoretic
- nash equilibria
- game design
- cooperative game
- human computation
- coalitional games
- game development
- data mining
- first order logic
- information systems
- learning algorithm
- genetic algorithm