Add link to formulation of problem.

Signed-off-by: Cyde Weys <cydeweys@gmail.com>