Modeling with Metaconstraints and Semantic Typing of Variables

Recent research in hybrid optimization shows that a combination of technologies that exploits their complementary strengths can significantly speed up computation. The use of high-level metaconstraints in the problem formulation can achieve a substantial share of these computational gains by better communicating problem structure to the solver. During the solution process, however, metaconstraints give rise … Read more

Aircraft deconfliction with speed regulation: new models from mixed-integer optimization

Detecting and solving aircraft conflicts, which occur when aircraft sharing the same airspace are too close to each other according to their predicted trajectories, is a crucial problem in Air Traffic Management. We focus on mixed-integer optimization models based on speed regulation. We first solve the problem to global optimality by means of an exact … Read more

Modeling Robust and Reliable Supply Chains

We present formulations for the strategic design of robust and reliable supply chains with long term contracting. The inability to deliver a supply part due to unexpected events in a complex supply chain can have a significant impact on the performance of a supply chain. Reliable and robust supply chains leverage cost and risk of … Read more

On Solving The Progressive Party Problem as a MIP

The `Progressive Party Problem’ [smith1995] has long been considered a problem intractable for branch-and-bound mixed integer solvers. Quite impressive results have been reported with constraint programming systems for this problem. As a result the problem has become a standard example in texts on constraint programming. Fortunately, there has been progress in the mixed integer programming … Read more

Re-Optimization of Signaling Transfer Points

In this paper we describe the results of a computational study towards the (re)optimization of signaling transfer points (STPs) in telecommunication networks. The best performance of an STP is achieved whenever the traffic load is evenly distributed among the internal components. Due to the continuously changing traffic pattern, the load of the components has to … Read more