Generalizations of Graham's pebbling conjecture.

David S. Herscovici Benjamin D. Hester Glenn H. Hurlbert

Published in: Discret. Math. (2012)

Keyphrases

clause learning
sat solvers
satisfiability problem
information retrieval
artificial intelligence
search algorithm
reinforcement learning
computational complexity
description logics
decision makers