Since the 21st century, national aerospace industry has developed rapidly with an explosive increase in satellites. To coordinate the in-orbit satellites and their management resources for better social, economic, and military applications, the satellite task scheduling is required. As the satellite management and application manners change over the years, cross-agency and cross-model have become the new normal, and the integration and quick-response have become the new requirements. Under such circumstances, the one satellite, one system shortcoming in system development and application occurs, while those systems that differ in agencies, modes, and types cannot accommodate each other; hence, the generality of satellite scheduling models and algorithm must be strengthened. To address the one satellite, one system shortcoming, the cooperative, flexible, efficient applications, and the monopoly of the U.S. STK/Scheduler, a Satellite Task Scheduling Engine that contains general-purpose modeling and optimization methods is studied in this book.