Acyclic Constraint Logic and Games.

Hendrik Jan Hoogeboom Walter A. Kosters Jan N. van Rijn Jonathan K. Vis

Published in: J. Int. Comput. Games Assoc. (2014)

Keyphrases

winning strategy
modal logic
np hard
logic programming
predicate logic
nash equilibria
video games
game playing
linear constraints
game theory
database schemes
np complete
game play
game design
global constraints
automated reasoning
asynchronous circuits