Abstract: Agile satellites possess advanced Earth observation capabilities and highly flexible attitude maneuvering, rendering their scheduling problems increasingly crucial. As the number of such ...

Abstract: As one of the most critical components in modern LP solvers, presolve in linear programming (LP) employs a rich set of presolvers to remove different types of redundancy in input problems by ...

C++20 header-only linear algebra library for mixed-precision algorithm design and optimization. MTL5 is a modernized successor to MTL4, preserving the proven architecture for custom number types ...