Updated partial solver description
Added more descriptions and incomplete quotes from thesis about solvers