The management of complex energy systems where different power sources are active in a time varying scenario of costs and prices needs efficient optimization approaches. Usually the scheduling problem is is formulated as a Mixed Integer Linear Programming (MILP) to guarantee the convergence to the global optimum. The goal of this work is to propose and compare a hybrid technique based on Artifi...

Symmetry in mathematical optimisation is of broad and current interest. In problem classes such as mixed-integer linear programming (MILP), equivalent solutions created by symmetric variables and constraints may combinatorially increase the search space. Identifying problem symmetries is an important step towards expediting tree-based algorithms such as branch-and-cut because computationally cl...

This paper addresses the problem of developing an optimisation structure to aid the operational decision-making of scheduling activities in a real-world pipeline scenario. The pipeline connects an inland refinery to a harbour, conveying different types of oil derivatives. The optimisation structure is developed based on mixed integer linear programming (MILP) with uniform time discretisation, b...

Determining the minimum number of units is an important step in heat exchanger network synthesis (HENS). The MILP transshipment model (Papoulias and Grossmann, 1983) and transportation model (Cerda and Westerberg, 1983b) were developed for this purpose. However, they are computationally expensive when solving for large-scale problems. Several approaches are studied in this paper to enable the f...

Task allocation and scheduling for heterogeneous multicore platforms must be automated for such platforms to be successful. Techniques such as Mixed Integer Linear Programming (MILP) provide the ability to easily customize the allocation and scheduling problem to application or platform-specific peculiarities. The representation of the core problem in a MILP form has a large impact on the solut...

SelfSplit is a simple mechanism to convert a sequential tree-search code into a parallel one. In this paradigm, tree-search is distributed among a set of workers, each of which is able to autonomously determine—without any communication with the other workers—the job parts it has to process. SelfSplit already proved quite effective in parallelizing Constraint Programming solvers. In the present...

Bayesian Stackelberg games have been used to compute optimal patrol strategies for the security of the Los Angeles International Airport (LAX) by modelling the security situation as a 1-leader, 1-follower, Bayesian game where there is one leader type and an arbitrary number of follower types. A previous approach, named DOBSS, computes the Stackelberg solution for this game by solving a Mixed In...

In this paper the branching trees for attacking MILP are reviewed. Under certain circumstances branches can be done concurrently. This is fully investigated with the result that there are restrictions for certain dual values and reduced costs. As a sideeffect of this study a new class of cuts for MILP is found, which are defined by those values. 1 Motivation of the following thoughts Nowadays t...

At ASIACRYPT 2016, Xiang et al. applied MILP method to search integral distinguisher based on division property. This method handled the huge time and memory complexities which had constituted the main restriction of the bit-based division property proposed by Todo and Morri, and showed its strength through finding some longer integral distinguishers for various primitives. Although MILP-aided ...

This short communication presents a generic mathematical programming formulation for Computer-Aided Molecular Design (CAMD). A given CAMD problem, based on target properties, is formulated as a Mixed Integer Linear/Non-Linear Program (MILP/MINLP). The mathematical programming model presented here, which is formulated as an MILP/MINLP problem, considers first-order and second-order molecular gro...