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 ...

Graph-theoretical (GT) representations, conceptually analogous to chemical formulas, offer a powerful and versatile framework for describing the structure of nanomaterials─including complex assemblies ...

We develop both exact and approximate algorithms (with approximation quality guarantees), which exploit a novel representation of the linear correlation between time series on subsequences, and ...