Abstract: With the increasing uptake of electric vehicles (EVs), the need for efficient scheduling of EV charging is becoming increasingly important. A charging station operator needs to identify ...

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

Programming-by-Examples (PBE) involves synthesizing an intended program from a small set of user-provided input-output examples. A key PBE strategy has been to restrict the search to a carefully ...