A constraint-based approach to solving games on infinite graphs.

Tewodros A. Beyene Swarat Chaudhuri Corneliu Popeea Andrey Rybalchenko

Published in: POPL (2014)

Keyphrases

combinatorial optimization
graph matching
game theoretic
graph mining
graph theoretic
graph representation
computer games
video games
graph theory
reinforcement learning agents
genetic algorithm
graph model
nash equilibrium
directed graph
game theory
np hard
search algorithm
social networks