Parity Games and Propositional Proofs.
Pavel PudlákArnold BeckmannNeil ThapenPublished in: Electron. Colloquium Comput. Complex. (2013)
Keyphrases
- game theory
- propositional logic
- computer games
- video games
- theorem proving
- nash equilibria
- first order logic
- computer programs
- weighted majority
- game players
- game playing
- error correction
- serious games
- game theoretic
- imperfect information
- learning games
- perfect information
- educational games
- natural deduction
- theorem prover
- formal proof
- boolean games
- satisfiability testing
- game design
- monte carlo tree search
- pure nash equilibria