An overview of optimization and resolution methods in satellite scheduling and spacecraft operation: description, modeling, and application | Publicación