While mixed integer linear programming (MILP) solvers are routinely used to solve a wide range of important science and engineering problems, it remains challenging task for end users write correct efficient MILP constraints, especially problems specified using the inherently non-linear Boolean logic operations. To overcome this challenge, we propose syntax guided synthesis (SyGuS) method capab...

This study investigates the progress made in lp and milp solver performance during last two decades by comparing software from beginning of millennium with codes available today. On average, we found out that for solving lp/milp, computer hardware got about 20 times faster, algorithms improved a factor nine around 50 milp, which gives total speed-up 180 1,000 times, respectively. However, these...

A railway timetable is typically planned one year in advance, but may be revised several times prior to the time of operation in order to accommodate on-demand slot requests for inserting additional trains and network maintenance. Revising timetables is a computationally demanding task, given the many dependencies and details to consider. In this paper, we focus on the potential of using optimi...

design of a logistics network in proper way provides a proper platform for efficient and effective supply chain management. this paper studies a multi-period, multi echelon and multi-product integrated forward-reverse logistics network under uncertainty. first, an efficient complex mixed-integer linear programming (milp) model by considering some real-world assumptions is developed for the inte...