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

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