\chapter{Resolution Heuristics}
\label{resolution-chap}

Talk about the resolution heuristics. This is the bulk of the thesis.

% Discuss changes to cost model, as promised in Ch. 2