The inclusion of ChaCha20 and Poly1305 into the list of supported ciphers in TLS 1.3 necessitates a security evaluation of those ciphers with all the state-of-the-art tools and innovative cryptanalysis methodologies. Mixed Integer Linear Programming (MILP) has been successfully applied to find more accurate characteristics of several ciphers such as SIMON and SPECK. In our research, we use MILP...

Supplier selection, which is the basic process of finding the best supplier/suppliers to procure the items regarding various criteria, is an important decision problem to be studied. It becomes more complicated if there are various items and any supplier cannot provide all types of items individually. Such situations are called multi-item, multi-supplier environments and rarely studied in the l...

This paper presents a new multiple-time grid, continuous-time mixed integer linear program (MILP) model for the short-term scheduling of single stage, multiproduct plants featuring equipment units with sequence dependent changeovers. It considers combined processing and changeover tasks as opposed to handling them separately and is very versatile in terms of type of objective function that can ...

The Quadratic Assignment Problem (QAP) can be solved by linearization, where one formulates the QAP as a mixed integer linear programming (MILP) problem. On the one hand, most of these linearization are tight, but hardly exploited within a reasonable computing time because of their size. On the other hand, Kaufman and Broeckx formulation [1] is the smallest of these linearizations, but very wea...

This paper reviews the advances of mixed-integer linear programming (MILP) based approaches for the scheduling of chemical processing systems. We focus on the short-term scheduling of general network represented processes. First, the various mathematical models that have been proposed in the literature are classified mainly based on the time representation. Discrete-time and continuous-time mod...

This paper considers mixed-line-rate (MLR) technology to design a green IP over WDM optical network. We develop a node-arc-based mixed integer linear programming (MILP) optimization model and propose a simple heuristic to configure the mixed-line-rate network. Results indicate that for the test scenarios considered, more than 48% power consumption can be saved compared with the single-line-rate...

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

In this paper, we present an analysis of the strength of sparse cutting-planes for mixed integer linear programs (MILP) with sparse formulations. We examine three kinds of problems: packing problems, covering problems, and more general MILPs with the only assumption that the objective function is non-negative. Given a MILP instance of one of these three types, assume that we decide on the suppo...

We consider a production planning problem where the production process creates a mixture of desirable products and undesirable byproducts. In this production process, at any point in time the fraction of the mixture that is an undesirable byproduct increases monotonically as a function of the cumulative mixture production up to that time. The mathematical formulation of this continuous-time pro...

A coarse registration method using Mixed Integer Linear Programming (MILP) is described that finds global optimal registration parameter values that are independent of the values of invariant features. We formulate the range image registration problem using MILP. Our algorithm using MILP formulation finds the best balanced optimal registration for robustly aligning two range images with the bes...