Tractable Unordered 3-CNF Games.

Md Lutfar Rahman Thomas Watson

Published in: LATIN (2020)

Keyphrases

game theory
video games
np complete
computer games
computational complexity
boolean functions
nash equilibria
nash equilibrium
serious games
game development
game theoretic
game playing
orders of magnitude
weighted majority
game play
cooperative
sat solvers
cnf formula
computationally tractable
sat solving