Pebbling and optimal pebbling in graphs.

David P. Bunde Erin W. Chambers Daniel W. Cranston Kevin G. Milans Douglas B. West

Published in: J. Graph Theory (2008)

Keyphrases

clause learning
sat solvers
satisfiability problem
co occurrence
propositional satisfiability
machine learning
search engine
natural language
dynamic programming
state space
cellular automata
search tree
propositional logic