Added a comparison of our bound to those from \cite{sofsem2014}.
Replaced "stage" with "phase", which sounds a bit better.
Fixed a typo.
Housekeeping in the techniques section.
Added an overview of partition trees.