This paper considers resource allocation for a high-throughput satellite communications system operating in geostationary earth orbit. The main contributions of this paper include the design, development, and testing of three beamforming algorithms, each using a different paradigm for candidate beam collection and evaluation, but the same integer programming model for optimizing the selection of the beams to be used from a set of candidate beams.