Pebbling, Entropy and Branching Program Size Lower Bounds.

Balagopal Komarath Jayalal Sarma

Published in: STACS (2013)

Keyphrases

lower bound
branch and bound
upper bound
branch and bound algorithm
worst case
mutual information
computational complexity
np hard
information theoretic
lower and upper bounds
clause learning
optimization problems
orders of magnitude
temporal logic
search tree