Pebbling, Entropy and Branching Program Size Lower Bounds

Balagopal Komarath Jayalal Sarma

Published in: CoRR (2013)

Keyphrases

lower bound
branch and bound
upper bound
branch and bound algorithm
computational complexity
np hard
information theoretic
clause learning
optimal solution
mutual information
information theory
vc dimension
objective function
evolutionary algorithm
first order logic