Lifting lower bounds for tree-like proofs.

Alexis Maciel Phuong Nguyen Toniann Pitassi

Published in: Comput. Complex. (2014)

Keyphrases

lower bound
upper bound
branch and bound
lower and upper bounds
tree structures
objective function
binary tree
theorem prover
b tree
tree structure
np hard
branch and bound algorithm
optimal solution
index structure
worst case
wavelet transform
theorem proving
special case
leaf nodes
database systems
concept class