Pebbling and Graham's Conjecture.

Stephen S. Wang

Published in: Discret. Math. (2001)

Keyphrases

clause learning
sat solvers
linear programming
orders of magnitude
sat problem
knowledge base
data structure
probability distribution
constraint satisfaction