Resolution and Pebbling Games.

Nicola Galesi Neil Thapen

Published in: SAT (2005)

Keyphrases

clause learning
sat solvers
computer games
sat problem
propositional satisfiability
game theory
nash equilibria
satisfiability problem
nash equilibrium
game design
game theoretic
game play
game playing
video games
high resolution
artificial intelligence
coalitional games
search algorithm