SharpSMT first fuses DPLL(T) polytope enumeration with new factorization, variable-elimination and caching pre-processing, ...

Abstract: In science and engineering, multiobjective optimization problems (MOPs) usually contain multiple complex constraints, which poses a significant challenge in obtaining the optimal solution.

This repository provides a solution to the standard Capacitated Vehicle Routing Problem with Time Windows (CVRPTW). In a CVRPTW, we aim to optimize the routes of a fleet of vehicles serving customers ...

Abstract: Robust multiobjective optimization problems (RMOPs) widely exist in real-world applications, which introduce a variety of uncertainty in optimization models. While some evolutionary ...