\chapter{Resolution Heuristics}

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