added solver algorithm subsection