Added bibliography data
Added first bunch of formulas
Explained GOLFER variable and "external" constraints
Added clauses for symmetry breaking
Started working on ladder matrix
Changed title
Finished ladder matrix explanation