Add Minisat reference and two subtitles to introduction
Subsection on chordal graph construction
Results section