Resolution and pebbling games

Nicola Galesi Neil Thapen

Published in: Electron. Colloquium Comput. Complex. (2004)

Keyphrases

clause learning
sat solvers
satisfiability problem
educational games
computer games
video games
sat problem
propositional satisfiability
game theory
game design
information retrieval
game theoretic
sat instances
search space
orders of magnitude
search strategies
search algorithm
bayesian networks