added Horn Formulas and Set Cover Algorithm details.