Added encodings for Connected Dominating Set, Max Cut and Steiner Tree